EXPTIME-complete Decision Problems for Modal and Mixed Specifications

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

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Original languageEnglish
JournalElectronical Notes in Theoretical Computer Science
Issue number1
Pages (from-to)19-33
ISSN1571-0661
Publication statusPublished - 2009
EventWorkshop on Expressiveness in Concurrency (EXPRESS 2008) - Toronto, Canada
Duration: 2 Jul 2010 → …
Conference number: 15th

Conference

ConferenceWorkshop on Expressiveness in Concurrency (EXPRESS 2008)
Number15th
Country/TerritoryCanada
CityToronto
Period02/07/2010 → …

Cite this