Model-Checking for Probabilistic Real-Time Systems (Extended Abstract).

Rajeev Alur, Costas Courcoubetis, David L. Dill

Browse the full ICALP paper archive.