Original language | English |
---|---|
Journal | Mathematical Structures in Computer Science |
Volume | 20 |
Pages (from-to) | 75-103 |
ISSN | 0960-1295 |
Publication status | Published - 2010 |
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