{"_id":"RGgTdMN5S7BYWeTdr","bibbaseid":"yang-sakallah-smtbasedsymbolicmodelcheckingformultithreadedprograms-2008","author_short":["Yang, Z.","Sakallah, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Yang"],"firstnames":["Zijiang"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem"],"suffixes":[]}],"title":"SMT-based Symbolic Model Checking for Multi-Threaded Programs","booktitle":"Exploiting Concurrency Efficiently and Correctly – (EC)$^2$","address":"Princeton, NJ","month":"July","year":"2008","bibtex":"@inproceedings{yang2008smt,\n author = {Yang, Zijiang and Sakallah, Karem},\n title = {{SMT-based Symbolic Model Checking for Multi-Threaded Programs}},\n booktitle = {Exploiting Concurrency Efficiently and Correctly -- (EC)$^2$},\n address = {Princeton, NJ},\n month = {July},\n year = {2008}\n\n}\n\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n% 2007\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n","author_short":["Yang, Z.","Sakallah, K."],"key":"yang2008smt","id":"yang2008smt","bibbaseid":"yang-sakallah-smtbasedsymbolicmodelcheckingformultithreadedprograms-2008","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","based","symbolic","model","checking","multi","threaded","programs","yang","sakallah"],"title":"SMT-based Symbolic Model Checking for Multi-Threaded Programs","year":2008}