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