An approach to verification and validation of a reliable multicasting protocol

John R. Callahan, Todd L. Montgomery
1996 Software engineering notes  
doi:10.1145/226295.226316 fatcat:ggqxhvrbzrenreeri4iq5bz5yy