Volker Schönknecht

	2009
2		Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer: Semiformal verification of temporal properties in automotive hardware dependent software. DATE 2009: 1214-1217
	2008
1		Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer: Verification of Temporal Properties in Automotive Embedded Software. DATE 2008: 164-169

Coauthor Index

1	Jörg Behrend	[2]
2	Joachim Gerlach	[2]
3	Tobias Kirsten	[1]
4	Thomas Kropf	[1] [2]
5	Djones Lettnin	[1] [2]
6	Pradeep Kumar Nalla	[1] [2]
7	Stephan Reitemeyer	[1] [2]
8	Wolfgang Rosenstiel	[1] [2]
9	Jürgen Ruf	[1] [2]