Randal E. Bryant, Carl-Johan H. Seger. Formal Verification of Digital Circuits Using Symbolic Ternary System Models. In Edmund M. Clarke, Robert P. Kurshan, editors, Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990. Volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 121-146, DIMACS/AMS, 1990.
@inproceedings{BryantS90-0, title = {Formal Verification of Digital Circuits Using Symbolic Ternary System Models}, author = {Randal E. Bryant and Carl-Johan H. Seger}, year = {1990}, researchr = {https://researchr.org/publication/BryantS90-0}, cites = {0}, citedby = {0}, pages = {121-146}, booktitle = {Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990}, editor = {Edmund M. Clarke and Robert P. Kurshan}, volume = {3}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, publisher = {DIMACS/AMS}, }