Zerksis D. Umrigar, Vijay Pitchumani. Formal verification of a real-time hardware design. In Charles E. Radke, editor, Proceedings of the 20th Design Automation Conference, DAC '83, Miami Beach, Florida, USA, June 27-29, 1983. pages 221-227, ACM/IEEE, 1983. [doi]
@inproceedings{UmrigarP83,
title = {Formal verification of a real-time hardware design},
author = {Zerksis D. Umrigar and Vijay Pitchumani},
year = {1983},
url = {http://dl.acm.org/citation.cfm?id=800667},
researchr = {https://researchr.org/publication/UmrigarP83},
cites = {0},
citedby = {0},
pages = {221-227},
booktitle = {Proceedings of the 20th Design Automation Conference, DAC '83, Miami Beach, Florida, USA, June 27-29, 1983},
editor = {Charles E. Radke},
publisher = {ACM/IEEE},
isbn = {0-8186-0026-8},
}