BibTeX record conf/ppopp/SiegelZ11

• > Home > conf/ppopp/SiegelZ11

@inproceedings{DBLP:conf/ppopp/SiegelZ11,
  author       = {Stephen F. Siegel and
                  Timothy K. Zirkel},
  editor       = {Calin Cascaval and
                  Pen{-}Chung Yew},
  title        = {Automatic formal verification of MPI-based parallel programs},
  booktitle    = {Proceedings of the 16th {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, {PPOPP} 2011, San Antonio, TX, USA,
                  February 12-16, 2011},
  pages        = {309--310},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1941553.1941603},
  doi          = {10.1145/1941553.1941603},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/SiegelZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}