Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata
Publication year
2006Publisher
Los Alamitos, CA, USA : IEEE Computer Society
ISBN
0769526659
In
Proceedings Third International Conference on the Quantitative Evaluation of SysTems (QEST 2006), rm 11-14 September 2006, Riverside, CA, USA, pp. 311-322Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Organization
Informatics for Technical Applications
Book title
Proceedings Third International Conference on the Quantitative Evaluation of SysTems (QEST 2006), rm 11-14 September 2006, Riverside, CA, USA
Page start
p. 311
Page end
p. 322
Subject
Informatics for Technical ApplicationsThis item appears in the following Collection(s)
- Academic publications [238586]
- Electronic publications [122845]
- Faculty of Science [34995]
- Open Access publications [97827]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.