Étienne André, Didier Lime, Mathias Ramparison. On the Expressive Power of Invariants in Parametric Timed Automata. In Jun Pang 0001, Jing Sun 0002, editors, 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. pages 87-96, IEEE, 2019. [doi]
@inproceedings{AndreLR19-0,
title = {On the Expressive Power of Invariants in Parametric Timed Automata},
author = {Étienne André and Didier Lime and Mathias Ramparison},
year = {2019},
doi = {10.1109/ICECCS.2019.00017},
url = {https://doi.org/10.1109/ICECCS.2019.00017},
researchr = {https://researchr.org/publication/AndreLR19-0},
cites = {0},
citedby = {0},
pages = {87-96},
booktitle = {24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019},
editor = {Jun Pang 0001 and Jing Sun 0002},
publisher = {IEEE},
isbn = {978-1-7281-4646-1},
}