Verification of Large State/Event Systems Using Compositionality and Dependency Analysis

J. Lind-Nielsen, H.R. Andersen, H. Hulgaard, K.G. Larsen

    Research output: Contribution to journalArticleAcademic

    21 Citations (Scopus)
    Original languageUndefined
    Pages (from-to)5-23
    JournalFormal methods in system design
    Volume18
    Issue number1
    Publication statusPublished - 2001

    Keywords

    • METIS-204898

    Cite this