Towards a logic for performance and mobility

Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink

    Research output: Contribution to journalConference articleAcademicpeer-review

    9 Citations (Scopus)
    26 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Towards a logic for performance and mobility'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science