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.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - JOUR ID - DBLP:journals/tsi/LimeR06 AU - Lime, Didier AU - Roux, Olivier H. TI - Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. JO - Tech. Sci. Informatiques VL - 25 IS - 3 SP - 343 EP - 370 PY - 2006// DO - 10.3166/TSI.25.343-370 UR - https://doi.org/10.3166/tsi.25.343-370 ER -