Oxford logo
[Spr00] J. Sproston. Decidable Model Checking of Probabilistic Hybrid Automata. In Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'00), volume 1926 of LNCS, pages 31-45, Springer. 2000. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (109 KB)  bib bib
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications