@inproceedings{gan:fm14,
  title = "Precise Predictive Analysis for Discovering Communication Deadlocks in {MPI} Programs",
  author = "Vojt\v{e}ch Forejt and Daniel Kroening and Ganesh Narayanaswamy and Subodh Sharma",
  year = "2014",
  booktitle = "International Symposium on Formal Methods (FM)",
}