On Choosing a Scapegoat in the Stubborn Set Method

K. Varpaaniemi

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationInternational Workshop on Concurrency, Specification, and Programming, Berlin, Germany, 19.-21.11.1992
    Place of PublicationBerlin
    PublisherHumboldt-Universität
    Pages163-171
    Publication statusPublished - 1993
    MoE publication typeA4 Article in a conference publication

    Keywords

    • Petri nets
    • reachability analysis
    • stubborn set method

    Cite this