User: Guest  Login
Author(s):
Cheng, Chih-Hong; Jobstmann, Barbara; Knoll, Alois; Buckl, Christian 
Title:
On the Hardness of Priority Synthesis 
Keywords:
embedded 
Book / Congress title:
Proceedings of the 16th International Conference on Implementation and Application of Automata (CIAA'11) 
Publisher:
Springer-Verlag 
Year:
2011 
Bookseries title:
LNCS