Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata

Files in This Item:

File	Description	Size	Format
	publisher's version	274.27 kB	Adobe PDF	View/Open

Title:	Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata
Author(s):	Berendsen, J.K. (296908274) Jansen, D.N. (215676866) Katoen, J.P. (07485299X)
Publication year:	2006
Document type:	Article in monograph or in proceedings
Book title:	Proceedings Third International Conference on the Quantitative Evaluation of SysTems (QEST 2006)
ISBN:	0769526659
Start page:	p. 311
End page:	p. 322
Publisher:	Los Alamitos : IEEE Computer Society
Related link(s):	http://doi.ieeecomputersociety.org/10.1109/QEST.2006.43
Annotation:	Third International Conference on the Quantitative Evaluation of Systems: Qest 2005: Riverside, California, 11-14 September 2006
Subject:	Informatics for Technical Applications
Organization:	Informatics for Technical Applications
Appears in Collections:	Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/35536