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/AndreLR18.rdf
Étienne André et al.: TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. (2018) conf/formats/AndreLR18 10.1007/978-3-030-00151-3_3 TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. 3 Étienne André 1 Didier Lime 2 Mathias Ramparison 3 37-52 FORMATS FORMATS 2018 2018 provenance information for RDF data of dblp record 'conf/formats/AndreLR18' 2018-11-02T09:50:33+0100