%0 Conference Paper %1 conf/sefm/LienO09 %A Lien, Elisabeth %A Ölveczky, Peter Csaba %B SEFM %D 2009 %E Hung, Dang Van %E Krishnan, Padmanabhan %I IEEE Computer Society %K dblp %P 273-282 %T Formal Modeling and Analysis of an IETF Multicast Protocol. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2009.html#LienO09 %@ 978-0-7695-3870-9

@inproceedings{conf/sefm/LienO09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Lien, Elisabeth and Ölveczky, Peter Csaba}, biburl = {https://www.bibsonomy.org/bibtex/233b96943afd4bed1e939d075bb63af05/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2009}, editor = {Hung, Dang Van and Krishnan, Padmanabhan}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2009.11}, interhash = {648027bec97007942742910fb828bf87}, intrahash = {33b96943afd4bed1e939d075bb63af05}, isbn = {978-0-7695-3870-9}, keywords = {dblp}, pages = {273-282}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:26.000+0200}, title = {Formal Modeling and Analysis of an IETF Multicast Protocol.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2009.html#LienO09}, year = 2009 }