Concurrency Analysis of Java RMI Using Source Transformation and Verisoft (2003)

by Tim Cassidy , Tom Dean , Jim Cordy , Juergen Dingel
Citations:1 - 0 self