Search for persons
X
?
4
JESSI AC-8 "Synthesis, optimization and analysis"
BMBF-Abschlußbericht ; [final technical report, main phase ...
?
Proceedings of the conference on European design automation ,
6
Verification of a production cell using an automatic verifi..:
, In:
?
Proceedings of the conference on European design automation ,
7