Author Info
Name
Affiliation
Papers
BISHOP C. BROCK
Computational Logic, Inc. 1717 West Sixth Steet, Suite 290 Austin, TX 78703-4776 U.S.A./ Tel: +1 512 322 9951, FAX: +1 512 322 0656, E-mail: brock@cli.com, hunt@cli.com
2
Collaborators
Citations 
PageRank 
1
27
2.45
Referers 
Referees 
References 
55
19
18
Title
Citations
PageRank
Year
The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor171.401997
The verification of a bit-slice ALU101.051989