Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton
On the Verification of Sequential Machines at Differing Levels of Abstraction
DAC, 1987.
@inproceedings{DAC-1987-DevadasMN,
author = "Srinivas Devadas and Hi-Keung Tony Ma and A. Richard Newton",
booktitle = "{Proceedings of the 24th Design Automation Conference}",
doi = "10.1145/37888.37929",
pages = "271--276",
publisher = "{IEEE Computer Society Press / ACM}",
title = "{On the Verification of Sequential Machines at Differing Levels of Abstraction}",
year = 1987,
}