![](/img/cover-not-exists.png)
Priority scheduling of distributed systems based on model checking
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph SifakisVolume:
39
Language:
english
Pages:
17
DOI:
10.1007/s10703-011-0128-y
Date:
December, 2011
File:
PDF, 595 KB
english, 2011