BibTeX record conf/sigsoft/GulavaniHKNR06

download as .bib file

@inproceedings{DBLP:conf/sigsoft/GulavaniHKNR06,
  author       = {Bhargav S. Gulavani and
                  Thomas A. Henzinger and
                  Yamini Kannan and
                  Aditya V. Nori and
                  Sriram K. Rajamani},
  editor       = {Michal Young and
                  Premkumar T. Devanbu},
  title        = {{SYNERGY:} a new algorithm for property checking},
  booktitle    = {Proceedings of the 14th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, {FSE} 2006, Portland, Oregon,
                  USA, November 5-11, 2006},
  pages        = {117--127},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1181775.1181790},
  doi          = {10.1145/1181775.1181790},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/GulavaniHKNR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics