Kumar, Ramayya
1  results:
Search for persons X
?
1

Theorem provers in circuit design 

theory, practice and experience ; proceedings  Lecture notes in computer science ; 901
Copies:  Zentrale:Magazin 01.P.5693
 
1-1