Originalsprog | Engelsk |
---|---|
Tidsskrift | Mathematical Structures in Computer Science |
Vol/bind | 20 |
Sider (fra-til) | 75-103 |
ISSN | 0960-1295 |
Status | Udgivet - 2010 |
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