Christoph Andriessens

List of publications from the DBLP Bibliography Server - FAQ

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