Counterexamples for timed probabilistic reachability (0)

by H Aljazzar, H Hermanns, S Leue
Venue:In FORMATS 2005, volume 3829 of LNCS