SMT(CLU): A Step toward Scalability in System Verification. Sheini, H. M. & Sakallah, K. A. In IEEE International Conference on Computer-Aided Design (ICCAD), pages 844-851, San Jose, California, November, 2006.
bibtex   
@inproceedings{sheini2006smt,
   author = {Sheini, Hossein M. and Sakallah, Karem A.},
   title = {{SMT(CLU): A Step toward Scalability in System Verification}},
   booktitle = {IEEE International Conference on Computer-Aided Design (ICCAD)},
   address = {San Jose, California},
   pages = {844-851},
   month = {November},
   year = {2006}
}

Downloads: 0