Approximating continuous markov processes (2000)

by J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Venue:In LICS2000