Christoph Schulte

	2004
2		Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf: Model Checking (Grundlagen und Praxiserfahrungen). Informatik Spektrum 27(2): 146-158 (2004)
	2003
1		Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich: Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. GI Jahrestagung (1) 2003: 340-344

Coauthor Index

1	Mark Brörkens	[2]
2	Ingo Brückner	[2]
3	Ralf Buschermöhle	[2]
4	Werner Damm	[1] [2]
5	Michael Eckrich	[1]
6	Wilhelm Hasselbring	[2]
7	Uwe Higgen	[1]
8	Bernhard Josko	[2]
9	Marc Segelken	[1]
10	Hartmut Wittke	[1]
11	Thomas Wolf	[2]