"291","Tasking Event-B: An Extension to Event-B for Generating Concurrent Code","","http://deploy-eprints.ecs.soton.ac.uk/291/","Edmunds, Andrew and Butler, Michael","UNSPECIFIED","       <span class=\"person_name\">Edmunds, Andrew</span> and <span class=\"person_name\">Butler, Michael</span>     (2011)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/291/\"><em>Tasking Event-B: An Extension to Event-B for Generating Concurrent Code.</em></a>       In: PLACES 2011.         (In Press)   ","","2011-02"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>