Search for persons
X
?
Integration
7
Minimization of Word-level Decision Diagrams:
, In:Copies:
Zentrale:Magazinturm-E02 15z elt 697 j/255; Zentrale:Magazin Zs fe 5255
?
Proceedings of the conference on Design, automation and test in Europe ,
10
Formal verification of word-level specifications:
, In:
?
Proceedings of the 30th international Design Automation Conference ,
11