Volker Nimbler

	2007
2		Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler: Multi-Level Assertion-Based Design. MEMOCODE 2007: 85-86
	2006
1		Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking: On Consistency and Completeness of Property-Sets. FDL 2006: 241-248

Coauthor Index

1	Hans Eveking	[1] [2]
2	Martin Oberkönig (Martin Braun)	[1] [2]
3	Martin Schickel	[1] [2]
4	Martin Schweikert	[2]