Title

Formal methods for industrial applications

Title Supplement
Specifying and programming the steam boiler control
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1996
Series
Lecture Notes in Computer Science; 1165
ISBN
3-540-61929-1