Modal and Mixed Specifications: Key Decision Problems and their Complexities

Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Waswoski

Research output: Contribution to journalJournal articleResearchpeer-review

8 Citations (Scopus)
499 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Modal and Mixed Specifications: Key Decision Problems and their Complexities'. Together they form a unique fingerprint.

Computer Science

Keyphrases