The sharing tree data structure:
theory and applications in formal verification

  • Denis Zampunieris

    Student thesis: Doc typesDoctor of Sciences

    Abstract

    Date of Award1997
    Original languageEnglish
    SupervisorJean-Marie JACQUET (Supervisor)

    Cite this

    '