Third International Conference on the Quantitative Evaluatio…
Third International Conference on the Quantitative Evaluation of Systems -
Probably on Time and within Budget%2525253A On Reachability …
Probably on Time and within Budget%2525253A On Reachability in Priced Probabilistic Timed Automata
eBook
Full text availability for this item
Collection:
IEEE/IET Electronic Library (IEL)
Coverage:
- 2006