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/acsd/AndreLR18.xml
Étienne André Didier Lime Mathias Ramparison Timed Automata with Parametric Updates. 21-29 2018 ACSD https://doi.ieeecomputersociety.org/10.1109/ACSD.2018.000-2 conf/acsd/2018 db/conf/acsd/acsd2018.html#AndreLR18