Guest editors' introduction: Model checking in a nutshell

H. Hermanns, Joost P. Katoen

    Research output: Contribution to journalArticleAcademicpeer-review

    25 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)1-5
    JournalJournal of logic and algebraic programming
    Volume52-53
    DOIs
    Publication statusPublished - 2002

    Keywords

    • METIS-208726

    Cite this