%0 Conference Paper %1 conf/pvm/LovasK07 %A Lovas, Róbert %A Kacsuk, Péter %B PVM/MPI %D 2007 %E Cappello, Franck %E Hérault, Thomas %E Dongarra, Jack J. %I Springer %K dblp %P 335-343 %T Correctness Debugging of Message Passing Programs Using Model Verification Techniques. %U http://dblp.uni-trier.de/db/conf/pvm/pvm2007.html#LovasK07 %V 4757 %@ 978-3-540-75415-2

@inproceedings{conf/pvm/LovasK07, added-at = {2017-05-19T00:00:00.000+0200}, author = {Lovas, Róbert and Kacsuk, Péter}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26d719f2ea3cd5bc0fb0fec17c0160a3e/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_45}, interhash = {121353f8b5d6ca9fed5b51449c365623}, intrahash = {6d719f2ea3cd5bc0fb0fec17c0160a3e}, isbn = {978-3-540-75415-2}, keywords = {dblp}, pages = {335-343}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:06:06.000+0200}, title = {Correctness Debugging of Message Passing Programs Using Model Verification Techniques.}, url = {http://dblp.uni-trier.de/db/conf/pvm/pvm2007.html#LovasK07}, volume = 4757, year = 2007 }