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/tsi/LimeR06.rdf
Didier Lime and Olivier H. Roux: Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. (2006) journals/tsi/LimeR06 10.3166/TSI.25.343-370 Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. 2 Didier Lime 1 Olivier H. Roux 2 343-370 Tech. Sci. Informatiques Tech. Sci. Informatiques 25 3 2006 provenance information for RDF data of dblp record 'journals/tsi/LimeR06' 2020-06-24T20:59:17+0200