@InProceedings{siegel-avrunin:2004:diffusion,
  author = "Stephen F. Siegel and George S. Avrunin",
  title = "Verification of {MPI}-based software for scientific
           computation",
  crossref = {spin04},
  pages = {286--303}
}

@Proceedings{spin04,
  editor = "Susanne Graf and Laurent Mounier",
  title = "Model Checking Software: 11th International {SPIN}
           Workshop, Barcelona, Spain, April 1--3, 2004, Proceedings",
  booktitle = "Model Checking Software: 11th International {SPIN}
               Workshop, Barcelona, Spain, April 1--3, 2004,
               Proceedings",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = 2989,
  year = 2004,
  isbn = "3-540-21314-7",
  issn = "0302-9743"
}