Algorithms for the verification of synchronous systems

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    11 Downloads (Pure)
    Original languageEnglish
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • Herrmann, O.E., Supervisor
    • Krol, Th., Advisor
    Award date1 Jun 1995
    Place of PublicationEnschede, the Netherlands
    Publisher
    Print ISBNs90-9008385-5
    Publication statusPublished - 1 Jun 1995

    Keywords

    • Synchronous systems
    • Verification
    • Boolean algebras
    • Algorithms

    Cite this