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 tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftMathematical Structures in Computer Science
Vol/bind20
Sider (fra-til)75-103
ISSN0960-1295
StatusUdgivet - 2010

Citationsformater