Banach, Richard, Butler, Michael, Qin, Shengchao and Zhu, Huibao (2017) Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Science of Computer Programming, 139, 1-35. (doi:10.1016/j.scico.2016.12.003).
Record type:
Article
Text
ContEvB--II.pdf
- Accepted Manuscript
Available under License Creative Commons Attribution Non-commercial No Derivatives.
Download (828kB)
More information
Accepted/In Press date: 21 December 2016
e-pub ahead of print date: 15 March 2017
Published date: 1 June 2017
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 404128
URI: http://eprints.soton.ac.uk/id/eprint/404128
PURE UUID: 54fea6e8-82b5-4427-997b-22d6f314c158
Catalogue record
Date deposited: 21 Dec 2016 12:36
Last modified: 16 Mar 2024 02:51
Export record
Altmetrics
Contributors
Author:
Richard Banach
Author:
Michael Butler
Author:
Shengchao Qin
Author:
Huibao Zhu
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.