Algorithms for the verification of synchronous systems

    Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

    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.
    van Beijnum, Bernhard Johannes Frederik. / Algorithms for the verification of synchronous systems. Enschede, the Netherlands : Universiteit Twente, 1995. 147 p.
    @phdthesis{5e7789d53b1c4a1590b1179b0759fbdb,
    title = "Algorithms for the verification of synchronous systems",
    keywords = "Synchronous systems, Verification, Boolean algebras, Algorithms",
    author = "{van Beijnum}, {Bernhard Johannes Frederik}",
    year = "1995",
    month = "6",
    day = "1",
    language = "English",
    isbn = "90-9008385-5",
    publisher = "Universiteit Twente",
    school = "University of Twente",

    }

    van Beijnum, BJF 1995, 'Algorithms for the verification of synchronous systems', University of Twente, Enschede, the Netherlands.

    Algorithms for the verification of synchronous systems. / van Beijnum, Bernhard Johannes Frederik.

    Enschede, the Netherlands : Universiteit Twente, 1995. 147 p.

    Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

    TY - THES

    T1 - Algorithms for the verification of synchronous systems

    AU - van Beijnum, Bernhard Johannes Frederik

    PY - 1995/6/1

    Y1 - 1995/6/1

    KW - Synchronous systems

    KW - Verification

    KW - Boolean algebras

    KW - Algorithms

    M3 - PhD Thesis - Research UT, graduation UT

    SN - 90-9008385-5

    PB - Universiteit Twente

    CY - Enschede, the Netherlands

    ER -

    van Beijnum BJF. Algorithms for the verification of synchronous systems. Enschede, the Netherlands: Universiteit Twente, 1995. 147 p.