@article{2019arXiv190203013A,
    ArchivePrefix = {arXiv},
    Author = {{Andr{\'e}}, {\'E}tienne and {Bloemen}, Vincent and {Petrucci}, Laure and {van de Pol}, Jaco},
    EID = {arXiv:1902.03013},
    EPrint = {1902.03013},
    File = {arxiv (0) - a - a - d.pdf},
    Journal = {arXiv e-prints},
    Keywords = {timed automata},
    Month = {Feb},
    Pages = {arXiv:1902.03013},
    PrimaryClass = {cs.LO},
    Title = {{Minimal-Time Synthesis for Parametric Timed Automata}},
    Year = {2019},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    adsurl = {https://ui.adsabs.harvard.edu/\\#abs/2019arXiv190203013A},
    date-added = {2019-02-22 08:39:20 +0100},
    date-modified = {2019-02-22 08:40:19 +0100},
    doi = {10.48550/arXiv.1902.03013}
}

@article{2019arXiv190203013A, ArchivePrefix = {arXiv}, Author = {{Andr{\'e}}, {\'E}tienne and {Bloemen}, Vincent and {Petrucci}, Laure and {van de Pol}, Jaco}, EID = {arXiv:1902.03013}, EPrint = {1902.03013}, File = {arxiv (0) - a - a - d.pdf}, Journal = {arXiv e-prints}, Keywords = {timed automata}, Month = {Feb}, Pages = {arXiv:1902.03013}, PrimaryClass = {cs.LO}, Title = {{Minimal-Time Synthesis for Parametric Timed Automata}}, Year = {2019}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, adsurl = {https://ui.adsabs.harvard.edu/\#abs/2019arXiv190203013A}, date-added = {2019-02-22 08:39:20 +0100}, date-modified = {2019-02-22 08:40:19 +0100}, doi = {10.48550/arXiv.1902.03013} }