Formal Methods for Industrial Applications. Berlin etc.: Springer, 1996 509 p. il. 3-540-61929-1.
Formal Methods for Industrial Applications. Berlin etc.: Springer, 1996 509 p. il. 3-540-61929-1.
(1996) Formal Methods for Industrial Applications, Berlin etc.: Springer 509 p. il. 3-540-61929-1.
(1996). Formal Methods for Industrial Applications. Specifyng and Programming the Steam Boiler Control. Berlin etc.: Springer, 509 p. il.
Formal Methods for Industrial Applications: Specifyng and Programming the Steam Boiler Control. Berlin etc.: Springer; 1996. p. 509 p. il. ISBN: 3-540-61929-1.