Tools and Algorithms for the Construction and Analysis of Systems

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationTACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor)
    Place of PublicationUniversity of Twente, Enschede
    Pages-
    Number of pages431
    Publication statusPublished - 2 Apr 1997

    Keywords

    • METIS-120061

    Cite this