EXPTIME-complete Decision Problems for Modal and Mixed Specifications

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

Research output: Contribution to journalConference article in JournalResearchpeer-review

6 Citations (Scopus)
307 Downloads (Pure)
Original languageEnglish
JournalElectronical Notes in Theoretical Computer Science
Volume242
Issue number1
Pages (from-to)19-33
ISSN1571-0661
DOIs
Publication statusPublished - 2009
EventProceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008) - Toronto, Canada
Duration: 23 Aug 200823 Aug 2008
Conference number: 15

Conference

ConferenceProceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008)
Number15
Country/TerritoryCanada
CityToronto
Period23/08/200823/08/2008

Cite this