An object-oriented approach to verifying group communication systems (1998)

by Mark Bickford , Jason Hickey
Citations:10 - 2 self