Anthony S. Wojcik, Joseph Kljaich Jr., Nagendra C. E. Srinivas
A formal design verification system based on an automated reasoning system
DAC, 1984.
@inproceedings{DAC-1984-WojcikKS,
acmid = "800867",
author = "Anthony S. Wojcik and Joseph Kljaich Jr. and Nagendra C. E. Srinivas",
booktitle = "{Proceedings of the 21st Design Automation Conference}",
isbn = "0-8186-0542-1",
pages = "641--647",
publisher = "{ACM/IEEE}",
title = "{A formal design verification system based on an automated reasoning system}",
year = 1984,
}