Title
Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings
Year
Venue
DocType
1990
Hardware Specification, Verification and Synthesis
Conference
Volume
ISBN
Citations 
408
isbn
19
PageRank 
References 
Authors
5.31
0
2
Name
Order
Citations
PageRank
Miriam Leeser1791119.08
Geoffrey M. Brown222536.38