2010-ats

Summary

Neha Goel, Michael S. Hsiao, Naren Ramakrishnan and Mohammed J. Zaki, Mining Complex Boolean Expressions for Sequential Equivalence Checking. In Proceedings of the 19th Asian Test Symposium, Shanghai, China. Dec 2010. (PDF) #2010-atsBib

Bibtex entry

@INPROCEEDINGS { 2010-ats,
    AUTHOR = { Neha Goel and Michael S. Hsiao and Naren Ramakrishnan and Mohammed J. Zaki },
    TITLE = { Mining Complex Boolean Expressions for Sequential Equivalence Checking },
    BOOKTITLE = { Proceedings of the 19th Asian Test Symposium, Shanghai, China },
    MONTH = { Dec },
    YEAR = { 2010 },
    PDF = { ATS10.pdf },
    KEYWORD = { Conference,DataMining,ItemsetMining },
}