Mandalagiri S. Chandrasekhar, J. P. Privitera, K. W. Conradt
Application of Term Rewriting Techniques to Hardware Design Verification
DAC, 1987.
@inproceedings{DAC-1987-ChandrasekharPC,
author = "Mandalagiri S. Chandrasekhar and J. P. Privitera and K. W. Conradt",
booktitle = "{Proceedings of the 24th Design Automation Conference}",
doi = "10.1145/37888.37930",
pages = "277--282",
publisher = "{IEEE Computer Society Press / ACM}",
title = "{Application of Term Rewriting Techniques to Hardware Design Verification}",
year = 1987,
}