TY  - RPRT
TI  - The Verification-based Analysis of Reliable Multicast Protocol
AU  - Wu, Yunqing
PY  - 1996
UR  - https://ntrs.nasa.gov/citations/19970006999
ID  - 19970006999
ER  -