Domain Equations for (2000)

by C Baier, M Kwiatkowska
Venue:Probabilistic Processes, MSCS