Symbolic Model Checking for Probabilistic Processes.

Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan

Browse the full ICALP paper archive.