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/tacas/AndreBPP19.rdf
Étienne André et al.: Minimal-Time Synthesis for Parametric Timed Automata. (2019) conf/tacas/AndreBPP19 10.1007/978-3-030-17465-1_12 Minimal-Time Synthesis for Parametric Timed Automata. 4 Étienne André 1 Vincent Bloemen 2 Laure Petrucci 3 Jaco van de Pol 4 211-228 TACAS (2) TACAS (2) 2019 2019 provenance information for RDF data of dblp record 'conf/tacas/AndreBPP19' 2022-04-09T12:42:22+0200