Ramayya Kumar, Thomas Kropf, Klaus Schneider. First Steps Towards Automating Hardware Proofs in HOL. In Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley, editors, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA. pages 190-193, IEEE Computer Society, 1991.
@inproceedings{KumarKS91a,
title = {First Steps Towards Automating Hardware Proofs in HOL},
author = {Ramayya Kumar and Thomas Kropf and Klaus Schneider},
year = {1991},
researchr = {https://researchr.org/publication/KumarKS91a},
cites = {0},
citedby = {0},
pages = {190-193},
booktitle = {Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA},
editor = {Myla Archer and Jeffrey J. Joyce and Karl N. Levitt and Phillip J. Windley},
publisher = {IEEE Computer Society},
}