Browse by People

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [feed] RSSPD
Group by: Item Type | No Grouping
Number of items: 1.

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 Wed Apr 1 06:55:59 2015 BST.