Approximating labelled Markov processes (0)

by J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Venue:Information and Computation