Sergey Zheltov

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Victor Samofalov, Victor Krukov, Bob Kuhn, Sergey Zheltov, Alexander V. Konovalov, Jayant DeSouza
Automated Correctness Analysis of MPI Programs with Intel(r) Message Checker. PARCO (2005)