%0 Conference Paper %1 conf/pvm/LuoZS17 %A Luo, Ziqing %A Zheng, Manchun %A Siegel, Stephen F. %B EuroMPI/USA %D 2017 %E Peña, Antonio J. %E Balaji, Pavan %E Gropp, William %E Thakur, Rajeev %I ACM %K dblp %P 6:1-6:11 %T Verification of MPI programs using CIVL. %U http://dblp.uni-trier.de/db/conf/pvm/eurompi2017.html#LuoZS17 %@ 978-1-4503-4849-2

@inproceedings{conf/pvm/LuoZS17, added-at = {2021-10-14T00:00:00.000+0200}, author = {Luo, Ziqing and Zheng, Manchun and Siegel, Stephen F.}, biburl = {https://www.bibsonomy.org/bibtex/202377d1839c87948e9b49e2a59ae0d59/dblp}, booktitle = {EuroMPI/USA}, crossref = {conf/pvm/2017}, editor = {Peña, Antonio J. and Balaji, Pavan and Gropp, William and Thakur, Rajeev}, ee = {https://doi.org/10.1145/3127024.3127032}, interhash = {e07f918f3b2dc4621e313ccf8d3bc099}, intrahash = {02377d1839c87948e9b49e2a59ae0d59}, isbn = {978-1-4503-4849-2}, keywords = {dblp}, pages = {6:1-6:11}, publisher = {ACM}, timestamp = {2024-04-10T20:33:09.000+0200}, title = {Verification of MPI programs using CIVL.}, url = {http://dblp.uni-trier.de/db/conf/pvm/eurompi2017.html#LuoZS17}, year = 2017 }