Towards Model Checking Stochastic Process Algebra.

Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle

Browse the full IFM paper archive.