Abstraction, prices and probability in model checking timed automata

Fulltext present in this item

Fulltext: mmubn000001_534748619.pdf

Format: PDF

Description: publisher's version

Embargo: until further notice

Title:	Abstraction, prices and probability in model checking timed automata
Author(s):	Berendsen, J.K.
Publication year:	2010
Publisher:	[S.l. : s.n.]
ISBN:	9789088911934
Number of Pages:	178 p.
Annotation:	Radboud Universiteit Nijmegen, 3 november 2010 Promotor : Vaandrager, F.W.
Publication type:	Dissertation
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/84322
Display more details
Subject:	Software Science
Organization:	Informatics for Technical Applications

Faculty of Science [24262]
Dissertations [10343]
Electronic publications [69438]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [157634]
Academic output Radboud University