Verification of MPI-Based Software for Scientific Computation (2004)

Cached

Download Links

by Stephen F. Siegel , George S. Avrunin
Venue:Model Checking Software: 11th International SPIN Workshop
Citations:20 - 7 self