TY  - RPRT
TI  - The specification-based validation of reliable multicast protocol: Problem Report
AU  - Wu, Yunqing
PY  - 1995
UR  - https://ntrs.nasa.gov/citations/19960011369
ID  - 19960011369
ER  -