Randal E. Bryant, Derek L. Beatty, Carl-Johan H. Seger
Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation
DAC, 1991.
@inproceedings{DAC-1991-BryantBS,
author = "Randal E. Bryant and Derek L. Beatty and Carl-Johan H. Seger",
booktitle = "{Proceedings of the 28th Design Automation Conference}",
doi = "10.1145/127601.127701",
isbn = "0-89791395-7",
pages = "397--402",
publisher = "{ACM}",
title = "{Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation}",
year = 1991,
}