creators_name: Fathabadi, Asieh Salehi
creators_name: Butler, Michael
type: conference_item
datestamp: 2011-02-24 08:59:48
lastmod: 2011-02-24 08:59:48
metadata_visibility: show
title: Applying Event-B Atomicity Decomposition to a Multi Media Protocol
ispublished: pub
subjects: Refinement
full_text_status: none
pres_type: paper
date: 2010-06
volume: 6286
publisher: Springer LNCS
event_title: FMCO Formal Methods for Components and Objects
event_type: conference
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/21261/
citation:   Fathabadi, Asieh Salehi and Butler, Michael  (2010) Applying Event-B Atomicity Decomposition to a Multi Media Protocol.  In: FMCO Formal Methods for Components and Objects.     

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