Timed Comparisons of Semi-Markov Processes.

Mathias Ruggaard Pedersen, Nathanal Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare

Browse the full LATA paper archive.