@techreport{a-paams-04, author = {Hitoshi Asaeda}, title = {Protocol {A}nalysis of {A}ny-{S}ource {M}ulticast and {S}ource-{S}pecific {M}ulticast}, type = {Research Report}, institution = {INRIA}, number = {PR-5080}, month = {January}, year = {2004} }