Sciweavers

Share
TPHOL
1991
IEEE

First Steps Towards Automating Hardware Proofs in HOL

11 years 9 months ago
First Steps Towards Automating Hardware Proofs in HOL
D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe, Germany
Ramayya Kumar, Thomas Kropf, Klaus Schneider
Added 27 Aug 2010
Updated 27 Aug 2010
Type Conference
Year 1991
Where TPHOL
Authors Ramayya Kumar, Thomas Kropf, Klaus Schneider
Comments (0)
books