Language preservation problems in parametric timed automata (2015)

by AM15 Étienne André, Nicolas Markey
Venue:In FORMATS, Lecture Notes in Computer Science