Modal and Mixed Specifications: Key Decision Problems and their Complexities

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

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Original language	English
Journal	Mathematical Structures in Computer Science
Volume	20
Pages (from-to)	75-103
ISSN	0960-1295
Publication status	Published - 2010

Cite this

@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

VL - 20

SP - 75

EP - 103

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

SN - 0960-1295

ER -