20 Years of Modal and Mixed Specifications

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

    Research output: Journal Article or Conference Article in Journal › Journal article › Research

    Fingerprint

    Dive into the research topics of '20 Years of Modal and Mixed Specifications'. Together they form a unique fingerprint.

    Keyphrases

    Mathematics

    Computer Science