Towards Model Checking Stochastic Process Algebra (2000)

by H Hermanns, J-P Katoen, J Meyer-Kayser, M Siegle
Venue:Integrated Formal Methods - IFM 2000, volume 1945 of LNCS