title: Applying Event-B Atomicity Decomposition to a Multi Media Protocol
creator: Fathabadi, Asieh Salehi
creator: Butler, Michael
subject: Refinement
publisher: Springer LNCS
date: 2010-06
type: Conference or Workshop Item
type: PeerReviewed
relation: http://eprints.ecs.soton.ac.uk/21261/
identifier:   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.     
relation: http://deploy-eprints.ecs.soton.ac.uk/295/

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