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 Sat Apr 21 23:21:57 2018 BST.