A New Unfolding Approach to LTL Model Checking

J. Esparza, K. Heljanko

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    17 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoThe 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, Geneva, Switzerland, July 2000
    ToimittajatU. Montanari, D. Rolim, E. Welzl
    JulkaisupaikkaBerlin, Germany
    Sivut475-486
    TilaJulkaistu - 2000
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • LTL
    • model checking
    • net unfoldings
    • Petri nets
    • tableau systems

    Siteeraa tätä