Butler, Michael (2012) External and internal choice with event groups in Event-B. [in special issue: Celebrating the 60th Birthday of Carroll Morgan] Formal Aspects of Computing, 24 (4-6), 555-567. (doi:10.1007/s00165-012-0239-2).
Record type:
Article
More information
Published date: 2012
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 341169
URI: http://eprints.soton.ac.uk/id/eprint/341169
PURE UUID: 08b18ec4-c374-4457-99ff-ec5d7ad1cb58
Catalogue record
Date deposited: 16 Jul 2012 18:26
Last modified: 15 Mar 2024 02:50
Export record
Altmetrics
Contributors
Author:
Michael 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.