Domain equations for probabilistic processes. Available from URL http://www.cs.bham.ac.uk/ mzk (1996)

by C Baier, M Kwiatkowska
Venue:Hybrid Systems III, number 1066 in Lecture Notes In Computer Science