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/formats/AndreLR16.xml
Étienne André Didier Lime Olivier H. Roux On the Expressiveness of Parametric Timed Automata. 19-34 2016 FORMATS https://doi.org/10.1007/978-3-319-44878-7_2 conf/formats/2016 db/conf/formats/formats2016.html#AndreLR16