Lovas, Robert and Kacsuk, Peter K.
(2007)
Correctness debugging of message passing programs using model verification techniques.
In:
Recent advances in parallel virtual machine and message passing interface: 14th European PVM/MPI Users' Group Meeting, Paris, France, September 30 - October 3, 2007: proceedings.
Lecture notes in computer science
(4757).
Springer, Berlin, pp. 335-343.
ISBN 9783540754152
This list was generated on Fri Oct 20 23:35:22 2017 BST.
