iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/iceccs/AndreLR19.xml
Étienne André Didier Lime Mathias Ramparison On the Expressive Power of Invariants in Parametric Timed Automata. 87-96 2019 ICECCS https://doi.org/10.1109/ICECCS.2019.00017 conf/iceccs/2019 db/conf/iceccs/iceccs2019.html#AndreLR19