Saddek Bensalem, Doron Peled, Joseph Sifakis. Knowledge Based Scheduling of Distributed Systems. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 26-41, Springer, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.