Distributed Priority Synthesis

Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem und 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