Paul Loewenstein. Formal verification of state-machines using higher-order logic. In Computer Design: VLSI in Computers and Processors, ICCD 1989. Proceedings., 1989 IEEE International Conference on, Cambridge, MA, USA, October 2-4, 1989. pages 204-207, IEEE, 1989. [doi]
@inproceedings{Loewenstein89-0,
title = {Formal verification of state-machines using higher-order logic},
author = {Paul Loewenstein},
year = {1989},
doi = {10.1109/ICCD.1989.63356},
url = {https://doi.org/10.1109/ICCD.1989.63356},
researchr = {https://researchr.org/publication/Loewenstein89-0},
cites = {0},
citedby = {0},
pages = {204-207},
booktitle = {Computer Design: VLSI in Computers and Processors, ICCD 1989. Proceedings., 1989 IEEE International Conference on, Cambridge, MA, USA, October 2-4, 1989},
publisher = {IEEE},
isbn = {0-8186-1971-6},
}