Butler, M. J. (1996) An Approach to the Design of Distributed Systems with B AMN (extended version)
Record type:
Monograph
(Project Report)
This record has no associated files available for download.
More information
Published date: 1996
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250577
URI: http://eprints.soton.ac.uk/id/eprint/250577
PURE UUID: ee3a3776-2c9a-41f8-b95f-7bc45d76dccf
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 21 Feb 2024 02:35
Export record
Contributors
Author:
M. J. Butler
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.