Jawahar Jain, Rajarshi Mukherjee, Masahiro Fujita
Advanced Verification Techniques Based on Learning
DAC, 1995.
@inproceedings{DAC-1995-JainMF, author = "Jawahar Jain and Rajarshi Mukherjee and Masahiro Fujita", booktitle = "{Proceedings of the 32nd Design Automation Conference}", doi = "10.1145/217474.217564", isbn = "0-89791-725-1", pages = "420--426", publisher = "{ACM Press}", title = "{Advanced Verification Techniques Based on Learning}", year = 1995, }