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 Leeser | 1 | 791 | 119.08 |
Geoffrey M. Brown | 2 | 225 | 36.38 |