Étienne André et al.: Parametric Updates in Parametric Timed Automata. (2019)conf/forte/AndreLR1910.1007/978-3-030-21759-4_3Parametric Updates in Parametric Timed Automata.3Étienne André1Didier Lime2Mathias Ramparison339-56FORTEFORTE20192019provenance information for RDF data of dblp record 'conf/forte/AndreLR19'2019-07-05T09:41:14+0200