"An Approach to Verification and Validation of a Reliable Multicasting ..."

John R. Callahan, Todd L. Montgomery (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics