Linear Parametric Model Checking of Timed Automata

There is no fulltext present in this item.

Title:	Linear Parametric Model Checking of Timed Automata
Author(s):	Hune, T.S.; Romijn, J.M.T.; Stoelinga, M.I.A.; Vaandrager, F.
Publication year:	2002
Source:	Journal of Logic and Algebraic Programming, vol. 52-53, (2002), pp. 183-220
ISSN:	1567-8326
DOI:	http://dx.doi.org/10.1016/S1567-8326(02)00037-1
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/176091
Display more details
Subject:	Software Science
Organization:	Informatics for Technical Applications Software Science
Journal title:	Journal of Logic and Algebraic Programming
Volume:	vol. 52-53
Page start:	p. 183
Page end:	p. 220