Metrics for labelled markov processes (2004)

by J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Venue:Theo. Comp. Sc