@inproceedings{AFS13atva,
  	location =	{Hà~N\d{\^o}i, Vi\d{\^e}t~Nam},
  	author =	{Andr\'e, {\'E}tienne and Fribourg, Laurent and Soulat, Romain},
  	booktitle =	{{P}roceedings of the 11th International Symposium on Automated Technology for Verification and Analysis ({ATVA}'13)},
 	editor =	{Hung, Dang-Van and Ogawa, Mizuhito},
  	month =	oct,
  	pages =	{381-396},
	publisher =	{Springer},
  	series =	{Lecture Notes in Computer Science},
  	title =	{Merge and Conquer: State Merging in Parametric Timed Automata},
  	volume =	{8172},
  	year =	{2013},
}