Formal Modeling and Analysis of an IETF Multicast Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Elisabeth Lien' in GoogleThis author has not been identified. Look up 'Peter Csaba Ã–lveczky' in Google

runs on WebDSL