Christoph Andriessens

	2007
2		Christoph Andriessens: Werkzeuggestützte Identifikation von Strukturproblemen bei modellgetriebener Softwareentwicklung. Karlsruhe Institute of Technology 2007: 1-207
	1995
1		Christoph Andriessens, Thomas Lindner: Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program. Formal Methods for Industrial Applications 1995: 35-51

Coauthor Index

1

Thomas Lindner

[1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page