Metrics for labeled Markov systems (1999)

by J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Venue:International Conference on Concurrency Theory