Priority Scheduling of Distributed Systems Based on Model Checking.

Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis

Browse the full CAV paper archive.