%0 Conference Paper %1 conf/cav/BasuBPS09 %A Basu, Ananda %A Bensalem, Saddek %A Peled, Doron A. %A Sifakis, Joseph %B CAV %D 2009 %E Bouajjani, Ahmed %E Maler, Oded %I Springer %K %P 79-93 %T Priority Scheduling of Distributed Systems Based on Model Checking. %U http://dblp.uni-trier.de/db/conf/cav/cav2009.html#BasuBPS09 %V 5643 %@ 978-3-642-02657-7

@inproceedings{conf/cav/BasuBPS09, added-at = {2023-12-14T15:10:45.000+0100}, author = {Basu, Ananda and Bensalem, Saddek and Peled, Doron A. and Sifakis, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/25a9e5372d23ba291a8982d1c6d8d397d/admin}, booktitle = {CAV}, crossref = {conf/cav/2009}, editor = {Bouajjani, Ahmed and Maler, Oded}, ee = {https://doi.org/10.1007/978-3-642-02658-4_10}, interhash = {e816747d49a89af39c78ab1ea0ef2aed}, intrahash = {5a9e5372d23ba291a8982d1c6d8d397d}, isbn = {978-3-642-02657-7}, keywords = {}, pages = {79-93}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:10:45.000+0100}, title = {Priority Scheduling of Distributed Systems Based on Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2009.html#BasuBPS09}, volume = 5643, year = 2009 }