Formal Modeling and Analysis of an IETF Multicast Protocol.

Elisabeth Lien, Peter Csaba lveczky

Browse the full SEFM paper archive.