Distributed Priority Synthesis

Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem and Harald Rueß

Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 57–72

2012 · doi:10.4204/EPTCS.102.7

url:http://dx.doi.org/10.4204/EPTCS.102.7