Verification of Hierarchical State/Event Systems using Reusability and Compositionality

Gerd Berhmann, Kim G. Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationTools and Algorithms for the Construction and Analysis of Systems (LNCS 1579)
    PublisherSpringer Verlag
    Publication date1999
    Publication statusPublished - 1999
    EventFifth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS - Amsterdam
    Duration: 1 Jan 1999 → …

    Conference

    ConferenceFifth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
    CityAmsterdam
    Period01/01/1999 → …

    Cite this