Merkliste 
 1 Ergebnisse 
 
1

Synthesis from mixed specifications:

, In: Proceedings of the conference on European design automation,
De Micheli, G. ; Mooney, V. ; Coelho, C.. - p. 114-119 , 1996