@misc{indiciae26e7c22887ff,
  title = {The specification-based validation of reliable multicast protocol: Problem Report},
  author = {Wu, Yunqing},
  year = {1995},
  url = {https://ntrs.nasa.gov/citations/19960011369},
  note = {Source identifier: 19960011369}
}