@inproceedings{DBLP:journals/corr/abs-1211-6189, author = {Cheng, Chih-Hong and Yan, Rongjie and Bensalem, Saddek and Rue{\ss}, Harald}, title = {Distributed Priority Synthesis}, booktitle = {Proceedings Seventh Conference on Systems Software Verification, {SSV} 2012, Sydney, Australia, 28-30 November 2012.}, pages = {57--72}, year = {2012}, doi = {10.4204/EPTCS.102.7}, url = {http://dx.doi.org/10.4204/EPTCS.102.7}, crossref = {DBLP:journals/corr/abs-1211-5873}, }