@inproceedings{ALR16b,
	author = {Andr{\'e}, {\'E}tienne and Lime, Didier and Roux, Olivier H.},
	booktitle =		{Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM'16)},
	doi = {10.1007/978-3-319-47846-3_25},
	editor = {Ogata, Kazuhiro and Lawford, Mark and Liu, Shaoying},
	location = {Tokyo, Japan},
	pages = {400--416},
	publisher = {Springer},
	series    = {Lecture Notes in Computer Science},
	volume = {10009},
	title = {Decision Problems for Parametric Timed Automata},
	year = {2016},
	lipn-category = {intc},
	keywords = {intc},
}