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