On the Hardness of Priority Synthesis

Chih-Hong Cheng , Barbara Jobstmann , Christian Buckl und Alois Knoll

Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, pp. 110–117

2011 · DOI: 10.1007/978-3-642-22256-6_11

Url: http://dx.doi.org/10.1007/978-3-642-22256-6_11