Butler, Michael and Ferreira, Carla (2000) A Process Compensation Language. Grieskamp, W., Santen, T. and Stoddart, B. (eds.) Integrated Formal Methods IFM2000. p. 61 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: November 2000
Venue - Dates:
Integrated Formal Methods IFM2000, 2000-11-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 253658
URI: http://eprints.soton.ac.uk/id/eprint/253658
ISBN: 3-540-41196-8
PURE UUID: e29ea714-5b5f-4316-bb63-c025e507d9bf
Catalogue record
Date deposited: 29 Apr 2004
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Michael Butler
Author:
Carla Ferreira
Editor:
W. Grieskamp
Editor:
T. Santen
Editor:
B. Stoddart
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.