creators_name: Fathabadi, Asieh Salehi
creators_name: Butler, Michael
creators_name: Rezazadeh, Abdolbaghi
type: conference_item
datestamp: 2012-07-23 06:29:23
lastmod: 2012-09-11 18:36:40
metadata_visibility: show
title: A Systematic Approach to Atomicity Decomposition in Event-B
ispublished: pub
subjects: ADVANCE
subjects: Event-Bsemantics
full_text_status: none
pres_type: paper
date: 2012-10
date_type: published
publication: A Systematic Approach to Atomicity Decomposition in Event-B
event_title: SEFM
event_type: conference
refereed: TRUE
official_url: http://eprints.soton.ac.uk/340356/
citation:   Fathabadi, Asieh Salehi and Butler, Michael and Rezazadeh, Abdolbaghi  (2012) A Systematic Approach to Atomicity Decomposition in Event-B.  In: SEFM.     

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>