%0 Conference Paper %1 conf/sigsoft/GulavaniHKNR06 %A Gulavani, Bhargav S. %A Henzinger, Thomas A. %A Kannan, Yamini %A Nori, Aditya V. %A Rajamani, Sriram K. %B SIGSOFT FSE %D 2006 %E Young, Michal %E Devanbu, Premkumar T. %I ACM %K dblp %P 117-127 %T SYNERGY: a new algorithm for property checking. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2006.html#GulavaniHKNR06 %@ 1-59593-468-5

@inproceedings{conf/sigsoft/GulavaniHKNR06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Gulavani, Bhargav S. and Henzinger, Thomas A. and Kannan, Yamini and Nori, Aditya V. and Rajamani, Sriram K.}, biburl = {https://www.bibsonomy.org/bibtex/2691703feb78f0eeb988fb785ee03c002/dblp}, booktitle = {SIGSOFT FSE}, crossref = {conf/sigsoft/2006}, editor = {Young, Michal and Devanbu, Premkumar T.}, ee = {https://doi.org/10.1145/1181775.1181790}, interhash = {afef8a45ca0104e9acfa01eb9eaa0ebc}, intrahash = {691703feb78f0eeb988fb785ee03c002}, isbn = {1-59593-468-5}, keywords = {dblp}, pages = {117-127}, publisher = {ACM}, timestamp = {2024-04-09T17:53:21.000+0200}, title = {SYNERGY: a new algorithm for property checking.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2006.html#GulavaniHKNR06}, year = 2006 }