Model Checking Durational Probabilistic Systems.

Franois Laroussinie, Jeremy Sproston

Browse the full FOSSACS paper archive.