Fortuna: Model Checking Priced Probabilistic Timed Automata

Fulltext present in this item

Fulltext: 83478.pdf

Format: PDF

Description: publisher's version

Embargo: until further notice

Title:	Fortuna: Model Checking Priced Probabilistic Timed Automata
Author(s):	Berendsen, J. ; Jansen, D.N. ; Vaandrager, F.W.
Publication year:	2010
In:	Qest 2010 : Proceedings Seventh International Conference on the Quantitative Evaluation of Systems QEST 2010 15-18 September 2010 Williamsburg, Virginia, USA, pp. 273-281
Publisher:	Los Alamitos : IEEE Computer Society
ISBN:	9780769541884
DOI:	http://doi.ieeecomputersociety.org/10.1109/QEST.2010.41
Annotation:	Qest 2010, 15 september 2010
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/83478
Display more details
Subject:	Software Science
Organization:	Informatics for Technical Applications Software Science
Book title:	Qest 2010 : Proceedings Seventh International Conference on the Quantitative Evaluation of Systems QEST 2010 15-18 September 2010 Williamsburg, Virginia, USA
Page start:	p. 273
Page end:	p. 281

Faculty of Science [27143]
Electronic publications [80397]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [176132]
Academic output Radboud University