Modal and Mixed Specifications: Key Decision Problems and their Complexities

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

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Mathematical Structures in Computer Science
Vol/bind	20
Sider (fra-til)	75-103
ISSN	0960-1295
Status	Udgivet - 2010

Citationsformater

@article{3ce92ef0e4d711dea523000ea68e967b,

title = "Modal and Mixed Specifications: Key Decision Problems and their Complexities",

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

year = "2010",

language = "English",

volume = "20",

pages = "75--103",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

}

TY - JOUR

T1 - Modal and Mixed Specifications

T2 - Key Decision Problems and their Complexities

AU - Antonik, Adam

AU - Huth, Michael

AU - Larsen, Kim Guldstrand

AU - Nyman, Ulrik Mathias

AU - Wasowski, Andrzej

PY - 2010

Y1 - 2010

M3 - Journal article

SN - 0960-1295

VL - 20

SP - 75

EP - 103

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

ER -