Verifying Automata Specifications of Probabilistic Real-time Systems (1991)

Cached

Download Links

by Rajeev Alur , Costas Courcoubetis , David Dill
Venue:Real-Time: Theory in Practice, Springer LNCS 600
Citations:35 - 3 self