Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes.

Chris M. N. Tofts Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes. 174-194 1995 conf/tacas/1995 TACAS db/conf/tacas/tacas95.html#Tofts95