Jawahar Jain, Rajarshi Mukherjee, Masahiro Fujita. Advanced Verification Techniques Based on Learning. In DAC. pages 420-426, 1995. [doi]
@inproceedings{JainMF95, title = {Advanced Verification Techniques Based on Learning}, author = {Jawahar Jain and Rajarshi Mukherjee and Masahiro Fujita}, year = {1995}, doi = {10.1145/217474.217564}, url = {http://doi.acm.org/10.1145/217474.217564}, tags = {rule-based}, researchr = {https://researchr.org/publication/JainMF95}, cites = {0}, citedby = {0}, pages = {420-426}, booktitle = {DAC}, }