Algorithms for the verification of synchronous systems

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    4 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

    van Beijnum, B. J. F. (1995). Algorithms for the verification of synchronous systems. Enschede, the Netherlands: Universiteit Twente.