@phdthesis{Andre18HDR,
	TITLE = {Contributions to parametric timed model checking: Theory and algorithms},
	AUTHOR = {Andr{\'e}, {\'E}tienne},
	URL = {https://tel.archives-ouvertes.fr/tel-01857440},
	SCHOOL = {{Université Paris 13}},
	YEAR = {2018},
	MONTH = Jun,
	TYPE = {Habilitation à diriger des recherches},
	PDF = {https://tel.archives-ouvertes.fr/tel-01857440/file/HDR-20180816.pdf},
	HAL_ID = {tel-01857440},
	HAL_VERSION = {v1},
}