An approach to verification and validation of a reliable multicasting protocol

John R. Callahan, Todd L. Montgomery
1996 Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96  
doi:10.1145/229000.226316 dblp:conf/issta/CallahanM96 fatcat:xr4i7jkmsndqdk7ninlzsfcc5q