On Choosing a Scapegoat in the Stubborn Set Method

K. Varpaaniemi

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoInternational Workshop on Concurrency, Specification, and Programming, Berlin, Germany, 19.-21.11.1992
    JulkaisupaikkaBerlin
    KustantajaHumboldt-Universität zu Berlin
    Sivut163-171
    TilaJulkaistu - 1993
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • Petri nets
    • reachability analysis
    • stubborn set method

    Siteeraa tätä