Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas. A Tutorial on Using PVS for Hardware Verification. In Ramayya Kumar, Thomas Kropf, editors, Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD 94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings. Volume 901 of Lecture Notes in Computer Science, pages 258-279, Springer, 1994.
@inproceedings{OwreRSS94,
title = {A Tutorial on Using PVS for Hardware Verification},
author = {Sam Owre and John M. Rushby and Natarajan Shankar and Mandayam K. Srivas},
year = {1994},
researchr = {https://researchr.org/publication/OwreRSS94},
cites = {0},
citedby = {0},
pages = {258-279},
booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD 94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings},
editor = {Ramayya Kumar and Thomas Kropf},
volume = {901},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-59047-1},
}