Model-checking for Probabilistic Real-time Systems (1991)

Cached

Download Links

by Rajeev Alur , Costas Courcoubetis , David L. Dill
Venue:In Automata, Languages and Programming: Proceedings of the 18th ICALP, Lecture Notes in Computer Science 510
Citations:84 - 10 self