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},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/fmcad/2010},
  url       = {http://ieeexplore.ieee.org/document/5770960/},
  timestamp = {Wed, 29 Nov 2017 16:34:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/BalakrishnanGGIKLMPSSW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2010,
  editor    = {Roderick Bloem and
               Natasha Sharygina},
  title     = {Proceedings of 10th International Conference on Formal Methods in
               Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
               20-23},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5766311},
  isbn      = {978-1-4577-0734-6},
  timestamp = {Wed, 17 Feb 2016 13:08:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier