A Stubborn Attack on State Explosion

A. Valmari

    Research output: Contribution to journalArticleScientificpeer-review

    132 Citations (Scopus)
    Translated title of the contributionA Stubborn Attack on State Explosion
    Original languageEnglish
    Pages (from-to)297-322
    JournalFormal Methods in System Design
    Issue number1
    Publication statusPublished - 1992
    Publication typeA1 Journal article-refereed

    Publication forum classification

    • No publication forum level

    Cite this