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 Journal › Conference article › Research › peer-review

Original language	English
Journal	Electronical Notes in Theoretical Computer Science
Issue number	1
Pages (from-to)	19-33
ISSN	1571-0661
Publication status	Published - 2009
Event	Workshop on Expressiveness in Concurrency (EXPRESS 2008) - Toronto, Canada Duration: 2 Jul 2010 → … Conference number: 15th

Conference	Workshop on Expressiveness in Concurrency (EXPRESS 2008)
Number	15th
Country/Territory	Canada
City	Toronto
Period	02/07/2010 → …

Cite this

@inproceedings{58e3f530028311dfa523000ea68e967b,

title = "EXPTIME-complete Decision Problems for Modal and Mixed Specifications",

author = "Adam Antonik and Michael Huth and Larsen, {Kim Guldstrand} and Nyman, {Ulrik Mathias} and Andrzej Wasowski",

note = "Volumne: 242; Workshop on Expressiveness in Concurrency (EXPRESS 2008) ; Conference date: 02-07-2010",

year = "2009",

language = "English",

pages = "19--33",

journal = "Electronical Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "1",

}

TY - GEN

T1 - EXPTIME-complete Decision Problems for Modal and Mixed Specifications

AU - Antonik, Adam

AU - Huth, Michael

AU - Larsen, Kim Guldstrand

AU - Nyman, Ulrik Mathias

AU - Wasowski, Andrzej

N1 - Conference code: 15th

PY - 2009

Y1 - 2009

M3 - Conference article

SN - 1571-0661

SP - 19

EP - 33

JO - Electronical Notes in Theoretical Computer Science

JF - Electronical Notes in Theoretical Computer Science

IS - 1

T2 - Workshop on Expressiveness in Concurrency (EXPRESS 2008)

Y2 - 2 July 2010

ER -