@InProceedings{siegel:vmcai,
  author = "Stephen F. Siegel",
  title = "Efficient Verification of Halting Properties for {MPI}
           Programs with Wildcard Receives",
  crossref = {vmcai05},
  pages= {413--429}
}


@Proceedings{vmcai05,
  editor = "Radhia Cousot",
  title = "Verification, Model Checking, and Abstract Interpretation: 6th
           International Conference, {VMCAI} 2005, Paris, January 17--19,
           2005, Proceedings",
  title = "Verification, Model Checking, and Abstract Interpretation: 6th
           International Conference, {VMCAI} 2005, Paris, January 17--19,
           2005, Proceedings",
  series = "Lecture Notes in Computer Science",
  volume = 3385,
  year = 2005,
  note = "to appear"
}