@inproceedings{AMPP22,
      author    = {Andr{\'e}, {\'E}tienne and Marinho, Dylan and Petrucci, Laure and van de Pol, Jaco},
      title     = {Efficient Convex Zone Merging in Parametric Timed Automata},
    year      = {2022},
    longbooktitle = {Proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems ({FORMATS} 2022)},
    booktitle = {{FORMATS}},
    editor    = {Bogomolov, Sergiy and Parker, David},
    location  = {Warsaw, Poland},
    eventdate = {2022-09-12/2022-09-17},
    pages     = {1-19},
    publisher = {Springer},
    series    = {\LNCS{}},
    volume    = {13465},
    doi       = {10.1007/978-3-031-15839-1_12},
    keywords  = {intc},
}