@InProceedings{andr:OASIcs:2013:4085,
	author ={{\'E}tienne Andr{\'e}},
	title ={Dynamic Clock Elimination in Parametric Timed Automata},
	booktitle ={1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
	pages ={18--31},
	series ={OpenAccess Series in Informatics (OASIcs)},
	ISBN ={978-3-939897-56-9},
	ISSN ={2190-6807},
	year ={2013},
	volume ={31},
	editor ={Christine Choppy and Jun Sun},
	publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
	address ={Dagstuhl, Germany},
	URL ={http://drops.dagstuhl.de/opus/volltexte/2013/4085},
	URN ={urn:nbn:de:0030-drops-40855},
	doi ={http://dx.doi.org/10.4230/OASIcs.FSFMA.201318},
	annote ={Keywords: Verification, Real-time systems, Parameter synthesis, State space reduction, Inverse Method}
}