EXPTIME-complete Decision Problems for Modal and Mixed Specifications

Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Mathias Nyman, Andrzej Wasowski

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftElectronical Notes in Theoretical Computer Science
    Udgave nummer1
    Sider (fra-til)19-33
    ISSN1571-0661
    StatusUdgivet - 2009
    BegivenhedWorkshop on Expressiveness in Concurrency (EXPRESS 2008) - Toronto, Canada
    Varighed: 2 jul. 2010 → …
    Konferencens nummer: 15th

    Konference

    KonferenceWorkshop on Expressiveness in Concurrency (EXPRESS 2008)
    Nummer15th
    Land/OmrådeCanada
    ByToronto
    Periode02/07/2010 → …

    Citationsformater