Travelled to:
1 × Hungary
Collaborated with:
M.Saksena B.Jonsson
Talks about:
protocol (1) grammar (1) verif (1) model (1) graph (1) rout (1) hoc (1) ad (1)
Person: Oskar Wibling
DBLP: Wibling:Oskar
Contributed to:
Wrote 1 papers:
- TACAS-2008-SaksenaWJ #ad hoc #graph grammar #modelling #protocol #verification
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols (MS, OW, BJ), pp. 18–32.