Model checking birth and death.

D.S. Distefano, Arend Rensink, Joost P. Katoen

    Research output: Contribution to journal › Article › Academic › peer-review

    Original languageUndefined
    Pages (from-to)-
    JournalTheoretical computer science
    Publication statusPublished - 2002

    Keywords

    • METIS-211554

    Cite this