Butler, M. J. (1997) An Approach to the Design of Distributed Systems with B AMN. Bowen, J., Hinchey, M. and Till, D. (eds.) Proc. 10th Int. Conf. of Z Users: The Z Formal Specification Notation (ZUM), LNCS 1212. pp. 223-241 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: April 1997
Additional Information:
Address: Reading, UK
Venue - Dates:
Proc. 10th Int. Conf. of Z Users: The Z Formal Specification Notation (ZUM), LNCS 1212, 1997-04-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250548
URI: http://eprints.soton.ac.uk/id/eprint/250548
ISBN: ISBN 3-540-62717-0
PURE UUID: 2af62c9f-a67c-44a4-a3dd-dec2a76da3ad
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
M. J. Butler
Editor:
J. Bowen
Editor:
M. Hinchey
Editor:
D. Till
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.