Travelled to:2 × Estonia
Collaborated with:A.Fehnker R.J.v.Glabbeek P.Höfner A.McIver M.Portmann
Talks about:wireless (1) process (1) network (1) analysi (1) algebra (1) uppaal (1) autom (1) mesh (1) aodv (1) use (1)
Person: Wee Lum Tan
DBLP: Tan:Wee_Lum
Contributed to:
2012
2012Wrote 2 papers:
- ESOP-2012-FehnkerGHMPT #algebra #network #process
- A Process Algebra for Wireless Mesh Networks (AF, RJvG, PH, AM, MP, WLT), pp. 295–315.
- TACAS-2012-FehnkerGHMPT #analysis #automation #using
- Automated Analysis of AODV Using UPPAAL (AF, RJvG, PH, AM, MP, WLT), pp. 173–187.