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

{"_id":"8WbtTqcuvX25bx2ep","bibbaseid":"sheini-sakallah-smtcluasteptowardscalabilityinsystemverification-2006","author_short":["Sheini, H. M.","Sakallah, K. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Sheini"],"firstnames":["Hossein","M."],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"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","bibtex":"@inproceedings{sheini2006smt,\n author = {Sheini, Hossein M. and Sakallah, Karem A.},\n title = {{SMT(CLU): A Step toward Scalability in System Verification}},\n booktitle = {IEEE International Conference on Computer-Aided Design (ICCAD)},\n address = {San Jose, California},\n pages = {844-851},\n month = {November},\n year = {2006}\n}\n\n","author_short":["Sheini, H. M.","Sakallah, K. A."],"key":"sheini2006smt","id":"sheini2006smt","bibbaseid":"sheini-sakallah-smtcluasteptowardscalabilityinsystemverification-2006","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["smt","clu","step","toward","scalability","system","verification","sheini","sakallah"],"title":"SMT(CLU): A Step toward Scalability in System Verification","year":2006}