"417","Development of Rabin's Choice Coordination algorithm in Event-B","","http://deploy-eprints.ecs.soton.ac.uk/417/","Yilmaz, Emre and Hoang, Thai Son","UNSPECIFIED","       <span class=\"person_name\">Yilmaz, Emre</span> and <span class=\"person_name\">Hoang, Thai Son</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/417/\"><em>Development of Rabin's Choice Coordination algorithm in Event-B.</em></a>       ECEASST, 35       .                          ",",htson@inf.ethz.ch","2010"