%0 Journal Article %1 journals/rts/LimeR09 %A Lime, Didier %A Roux, Olivier H. %D 2009 %J Real Time Syst. %K dblp %N 2 %P 118-151 %T Formal verification of real-time systems with preemptive scheduling. %U http://dblp.uni-trier.de/db/journals/rts/rts41.html#LimeR09 %V 41

@article{journals/rts/LimeR09, added-at = {2020-09-10T00:00:00.000+0200}, author = {Lime, Didier and Roux, Olivier H.}, biburl = {https://www.bibsonomy.org/bibtex/2bd8a830266c7bef56f8a9253851c10d5/dblp}, ee = {https://doi.org/10.1007/s11241-008-9059-0}, interhash = {2d9d1967ec543ffccf902a48d9b815ce}, intrahash = {bd8a830266c7bef56f8a9253851c10d5}, journal = {Real Time Syst.}, keywords = {dblp}, number = 2, pages = {118-151}, timestamp = {2020-09-11T11:43:26.000+0200}, title = {Formal verification of real-time systems with preemptive scheduling.}, url = {http://dblp.uni-trier.de/db/journals/rts/rts41.html#LimeR09}, volume = 41, year = 2009 }