@inproceedings{DBLP:conf/wia/ChengJBK11, author = {Cheng, Chih-Hong and Jobstmann, Barbara and Buckl, Christian and Knoll, Alois}, editor = {Calinescu, Radu and Garlan, David}, title = {On the Hardness of Priority Synthesis}, booktitle = {Implementation and Application of Automata - 16th International Conference, {CIAA} 2011, Blois, France, July 13-16, 2011. Proceedings}, pages = {110--117}, year = {2011}, doi = {10.1007/978-3-642-22256-6_11}, url = {http://dx.doi.org/10.1007/978-3-642-22256-6_11}, crossref = {DBLP:conf/wia/2011}, }