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/fuin/BerardHJL16.rdf
Béatrice Bérard et al.: Interrupt Timed Automata with Auxiliary Clocks and Parameters. (2016) journals/fuin/BerardHJL16 10.3233/FI-2016-1313 Interrupt Timed Automata with Auxiliary Clocks and Parameters. 4 Béatrice Bérard 1 Serge Haddad 2 Aleksandra Jovanovic 0002 3 Didier Lime 4 235-259 Fundam. Informaticae Fundam. Informaticae 143 3-4 2016 provenance information for RDF data of dblp record 'journals/fuin/BerardHJL16' 2022-01-26T14:16:09+0100