TY  - RPRT
TI  - Timed Comparisons of Semi-Markov Processes
AU  - Mathias Ruggaard Pedersen
AU  - Nathanaël Fijalkow
AU  - Giorgio Bacci
AU  - Kim Guldstrand Larsen
AU  - Radu Mardare
PY  - 2017
UR  - https://arxiv.org/abs/1711.10216
ID  - 1711.10216
ER  -