Oskar Wibling

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Mayank Saksena, Oskar Wibling, Bengt Jonsson
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. TACAS (2008)
Oskar Wibling, Joachim Parrow, Arnold Neville Pears
Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. FORTE (2005)
Oskar Wibling, Joachim Parrow, Arnold Neville Pears
Automatized Verification of Ad Hoc Routing Protocols. FORTE (2004)