Michael Eckrich

	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	Werner Damm	[1]
2	Uwe Higgen	[1]
3	Christoph Schulte	[1]
4	Marc Segelken	[1]
5	Hartmut Wittke	[1]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page