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/journals/corr/abs-1908-06633.xml
Étienne André Didier Lime Mathias Ramparison On the expressive power of invariants in parametric timed automata. 2019 abs/1908.06633 CoRR http://arxiv.org/abs/1908.06633 db/journals/corr/corr1908.html#abs-1908-06633