Generalized Quantitative Analysis of Metric Transition Systems.

Uli Fahrenberg, Axel Legay

Browse the full APLAS paper archive.