BibTeX record conf/fmcad/BalakrishnanGGIKLMPSSW10

download as .bib file

@inproceedings{DBLP:conf/fmcad/BalakrishnanGGIKLMPSSW10,
  author    = {Gogul Balakrishnan and
               Malay K. Ganai and
               Aarti Gupta and
               Franjo Ivancic and
               Vineet Kahlon and
               Weihong Li and
               Naoto Maeda and
               Nadia Papakonstantinou and
               Sriram Sankaranarayanan and
               Nishant Sinha and
               Chao Wang},
  editor    = {Roderick Bloem and
               Natasha Sharygina},
  title     = {Scalable and precise program analysis at {NEC}},
  booktitle = {Proceedings of 10th International Conference on Formal Methods in
               Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
               20-23},
  pages     = {273--274},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/document/5770960/},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/fmcad/BalakrishnanGGIKLMPSSW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics