External and internal choice with event groups in Event-B


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), pp. 555-567. (doi:10.1007/s00165-012-0239-2).

Download

[img] PDF twochoice.pdf - Author's Original
Download (253kB)
Item Type: Article
Digital Object Identifier (DOI): doi:10.1007/s00165-012-0239-2
Organisations: Electronic & Software Systems
ePrint ID: 341169
Date :
Date Event
2012Published
Date Deposited: 16 Jul 2012 18:26
Last Modified: 17 Apr 2017 16:49
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/341169

Actions (login required)

View Item View Item