Butler, M. J., Sekerinski, E. and Sere, K. (1996) An Action System Approach to the Steam Boiler Problem. Abrial, J.-R., Börger, E. and Langmaack, H. (eds.) Formal Methods for Industrial Applications -- Specifying and Programming the Steam Boiler Control, LNCS 1165. pp. 129-148 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 1996
Venue - Dates:
Formal Methods for Industrial Applications -- Specifying and Programming the Steam Boiler Control, LNCS 1165, 1996-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250579
URI: http://eprints.soton.ac.uk/id/eprint/250579
ISBN: ISBN 3-540-61929-1
PURE UUID: 3afe75b1-ddf6-47c2-8246-5c60f42a0a9c
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
M. J. Butler
Author:
E. Sekerinski
Author:
K. Sere
Editor:
J.-R. Abrial
Editor:
E. Börger
Editor:
H. Langmaack
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.