Oskar Wibling

	2008
3		Mayank Saksena, Oskar Wibling, Bengt Jonsson: Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. TACAS 2008: 18-32
	2005
2		Oskar Wibling, Joachim Parrow, Arnold Neville Pears: Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. FORTE 2005: 128-142
	2004
1		Oskar Wibling, Joachim Parrow, Arnold Neville Pears: Automatized Verification of Ad Hoc Routing Protocols. FORTE 2004: 343-358

Coauthor Index

1	Bengt Jonsson	[3]
2	Joachim Parrow	[1] [2]
3	Arnold Neville Pears	[1] [2]
4	Mayank Saksena	[3]