Linear and Branching Metrics for Quantitative Transition Systems.

Luca de Alfaro, Marco Faella, Marille Stoelinga

Browse the full ICALP paper archive.