Concepts, Algorithms, and Tools for Model Checking

    Research output: Contribution to journalArticleAcademic

    Original languageUndefined
    Pages (from-to)-
    Number of pages292
    JournalArbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung
    VolumeBand
    Issue number1
    Publication statusPublished - 1999

    Keywords

    • METIS-118686

    Cite this