Search results for: Michael DeLisi
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 164-181
Lecture Notes in Computer Science > Recent Advances in Parallel Virtual Machine and Message Passing Interface > Verification of MPI Programs > 261-270
Lecture Notes in Computer Science > Recent Advances in Parallel Virtual Machine and Message Passing Interface > Verification of Message Passing Programs > 248-256
Science of Computer Programming > 2011 > 76 > 2 > 65-81