VoAGSSB10'

@inproceedings{DBLP:conf/sc/VoAGSSB10,
  author    = {Anh Vo and
               Sriram Aananthakrishnan and
               Ganesh Gopalakrishnan and
               Bronis R. de Supinski and
               Martin Schulz and
               Greg Bronevetsky},
  title     = {A Scalable and Distributed Dynamic Formal Verifier for MPI
               Programs},
  booktitle = {SC},
  year      = {2010},
  pages     = {1-10},
  ee        = {http://dx.doi.org/10.1109/SC.2010.7},
  crossref  = {DBLP:conf/sc/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sc/2010,
  title     = {Conference on High Performance Computing Networking, Storage
               and Analysis, SC 2010, New Orleans, LA, USA, November 13-19,
               2010},
  booktitle = {SC},
  publisher = {IEEE},
  year      = {2010},
  isbn      = {978-1-4244-7559-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}