Benutzer: Gast  Login
Autor(en):
Cheng, Chih-Hong; Jobstmann, Barbara; Knoll, Alois; Buckl, Christian 
Titel:
On the Hardness of Priority Synthesis 
Stichworte:
embedded 
Kongress- / Buchtitel:
Proceedings of the 16th International Conference on Implementation and Application of Automata (CIAA'11) 
Verlag / Institution:
Springer-Verlag 
Jahr:
2011 
Serientitel:
LNCS