Christoph Andriessens

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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