"295","Applying Event-B Atomicity Decomposition to a Multi Media Protocol","","http://deploy-eprints.ecs.soton.ac.uk/295/","Fathabadi, Asieh Salehi and Butler, Michael","UNSPECIFIED","       <span class=\"person_name\">Fathabadi, Asieh Salehi</span> and <span class=\"person_name\">Butler, Michael</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/295/\"><em>Applying Event-B Atomicity Decomposition to a Multi Media Protocol.</em></a>       In: FMCO Formal Methods for Components and Objects.           ","","2010-06"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>