Steam Boiler Control Specification Problem: A TLA Solution

Frank Lesske, Stephan Merz. Steam Boiler Control Specification Problem: A TLA Solution. In Jean-Raymond Abrial, Egon Börger, Hans Langmaack, editors, Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Volume 1165 of Lecture Notes in Computer Science, pages 339-358, Springer, 1995.

Authors

Frank Lesske

This author has not been identified. Look up 'Frank Lesske' in Google

Stephan Merz

This author has not been identified. It may be one of the following persons: Look up 'Stephan Merz' in Google