Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis. Priority Scheduling of Distributed Systems Based on Model Checking. In Ahmed Bouajjani, Oded Maler, editors, Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings. Volume 5643 of Lecture Notes in Computer Science, pages 79-93, Springer, 2009. [doi]
@inproceedings{BasuBPS09,
title = {Priority Scheduling of Distributed Systems Based on Model Checking},
author = {Ananda Basu and Saddek Bensalem and Doron Peled and Joseph Sifakis},
year = {2009},
doi = {10.1007/978-3-642-02658-4_10},
url = {http://dx.doi.org/10.1007/978-3-642-02658-4_10},
tags = {rule-based, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BasuBPS09},
cites = {0},
citedby = {0},
pages = {79-93},
booktitle = {Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
editor = {Ahmed Bouajjani and Oded Maler},
volume = {5643},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02657-7},
}