Search for persons
X
?
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design ,
6
Computation of minimal counterexamples by using black box t..:
, In:
?
7
Symbolic model checking for incomplete designs
Report / Albert-Ludwigs-University, Institute of Computer Science ; 201
?
Wittener Tage für Neue Kammermusik 2001 / Veranst.: Kulturforum Witten und Westdeutscher Rundfunk Köln ... Hrsg.: Kulturforum Witten in Zs.-Arb. mit dem WDR Köln ...
9
Quasi solo
, In:2001 ; für Stimme, Bassetthorn, Schlagzeug und Violoncello
Copies:
TB Musik: hz 8425