Linear and Branching Metrics for Quantitative Transition Systems

Luca de Alfaro, Marco Faella, Mariëlle Ida Antoinette Stoelinga

    Research output: Contribution to conference › Paper › peer-review

    1 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Linear and Branching Metrics for Quantitative Transition Systems'. Together they form a unique fingerprint.