@misc{indiciaeb33a3d94e396, title = {An Approach to Verification and Validation of a Reliable Multicasting Protocol}, author = {Callahan, John R. and Montgomery, Todd L.}, year = {1994}, url = {https://ntrs.nasa.gov/citations/19960021670}, note = {Source identifier: 19960021670} }