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 tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Electronical Notes in Theoretical Computer Science
Udgave nummer	1
Sider (fra-til)	19-33
ISSN	1571-0661
Status	Udgivet - 2009
Begivenhed	Workshop on Expressiveness in Concurrency (EXPRESS 2008) - Toronto, Canada Varighed: 2 jul. 2010 → … Konferencens nummer: 15th

Konference	Workshop on Expressiveness in Concurrency (EXPRESS 2008)
Nummer	15th
Land/Område	Canada
By	Toronto
Periode	02/07/2010 → …

Citationsformater

@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 -