Home Page

Publications

Books

Courses

Software

PhD Students

Editorial Activities

Personal

RPI Info
RPI Library
RPI SIS

edit SideBar

PapersByTopic

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,BooleanPatterns },
}

Edit - History - Print - Recent Changes - Search
Page last modified on June 20, 2016, at 10:33 AM