Elisabeth Lien, Peter Csaba Ölveczky. Formal Modeling and Analysis of an IETF Multicast Protocol. In Dang Van Hung, Padmanabhan Krishnan, editors, Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009. pages 273-282, IEEE Computer Society, 2009. [doi]
Abstract is missing.