Gunter Leeb

According to our database, Gunter Leeb authored at least 1 paper in 1995.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1995

Proving Safety Properties of the Steam Boiler Controller.

Gunter Leeb, Nancy A. Lynch

Proceedings of the Formal Methods for Industrial Applications, 1995