EXPTIME-complete Decision Problems for Modal and Mixed Specifications

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

5 Citationer (Scopus)
269 Downloads (Pure)
OriginalsprogEngelsk
TidsskriftElectronical Notes in Theoretical Computer Science
Vol/bind242
Udgave nummer1
Sider (fra-til)19-33
ISSN1571-0661
DOI
StatusUdgivet - 2009
BegivenhedProceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008) - Toronto, Canada
Varighed: 23 aug. 200823 aug. 2008
Konferencens nummer: 15

Konference

KonferenceProceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008)
Nummer15
LandCanada
ByToronto
Periode23/08/200823/08/2008

Bibliografisk note

Volumne: 242

Citationsformater