%0 Conference Paper %1 conf/pvm/PervezGKPTG07 %A Pervez, Salman %A Gopalakrishnan, Ganesh %A Kirby, Robert M. %A Palmer, Robert %A Thakur, Rajeev %A Gropp, William %B PVM/MPI %D 2007 %E Cappello, Franck %E Hérault, Thomas %E Dongarra, Jack J. %I Springer %K dblp %P 344-353 %T Practical Model-Checking Method for Verifying Correctness of MPI Programs. %U http://dblp.uni-trier.de/db/conf/pvm/pvm2007.html#PervezGKPTG07 %V 4757 %@ 978-3-540-75415-2

@inproceedings{conf/pvm/PervezGKPTG07, added-at = {2023-03-21T00:00:00.000+0100}, author = {Pervez, Salman and Gopalakrishnan, Ganesh and Kirby, Robert M. and Palmer, Robert and Thakur, Rajeev and Gropp, William}, biburl = {https://www.bibsonomy.org/bibtex/22c031125380a2f53e5a8b688a7379e45/dblp}, booktitle = {PVM/MPI}, crossref = {conf/pvm/2007}, editor = {Cappello, Franck and Hérault, Thomas and Dongarra, Jack J.}, ee = {https://doi.org/10.1007/978-3-540-75416-9_46}, interhash = {91227319e08420aecc96830fbf030771}, intrahash = {2c031125380a2f53e5a8b688a7379e45}, isbn = {978-3-540-75415-2}, keywords = {dblp}, pages = {344-353}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:32:52.000+0200}, title = {Practical Model-Checking Method for Verifying Correctness of MPI Programs.}, url = {http://dblp.uni-trier.de/db/conf/pvm/pvm2007.html#PervezGKPTG07}, volume = 4757, year = 2007 }