Travelled to:
1 × Vietnam
Collaborated with:
P.C.Ölveczky
Talks about:
multicast (1) protocol (1) analysi (1) formal (1) model (1) ietf (1)
Person: Elisabeth Lien
DBLP: Lien:Elisabeth
Contributed to:
Wrote 1 papers:
- SEFM-2009-LienO #analysis #formal method #modelling #multi #protocol
- Formal Modeling and Analysis of an IETF Multicast Protocol (EL, PCÖ), pp. 273–282.