Shmed A-G Helmy.Systematic Testing of Multicast Protocol Robustness[D].PhD dissertation proposal.Untversity of Southern California Los Angeles,1997

• 吴建平.；形式化的协议一致性测试研究[D]