Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/iceccs/AndreLR19
AU - André, Étienne
AU - Lime, Didier
AU - Ramparison, Mathias
TI - On the Expressive Power of Invariants in Parametric Timed Automata.
BT - 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019
SP - 87
EP - 96
PY - 2019//
DO - 10.1109/ICECCS.2019.00017
UR - https://doi.org/10.1109/ICECCS.2019.00017
ER -
