@article{ALM20,
	author    = {Andr{\'e}, {\'E}tienne and
				Lime, Didier and
				Markey, Nicolas},
	title     = {Language Preservation Problems in Parametric Timed Automata},
	journal   = {Logical methods in computer science},
	volume    = {16},
	issue     = {1},
	day       = {22},
	month     = {1},
	page	  = {5:1-5:31},
	year      = {2020},
  	keywords = {journal},
  	doi			= {10.23638/LMCS-16(1:5)2020},
  	  URL = {https://lmcs.episciences.org/6042},
}