Priority Scheduling of Distributed Systems Based on Model Checking

by Ananda Basu , Saddek Bensalem , Doron Peled , Joseph Sifakis
Citations:8 - 4 self