creators_name: Yilmaz, Emre
creators_name: Hoang, Thai Son
creators_id: htson@inf.ethz.ch
type: article
datestamp: 2012-07-09 14:38:34
lastmod: 2012-07-09 14:39:51
metadata_visibility: show
title: Development of Rabin's Choice Coordination algorithm in Event-B
ispublished: pub
subjects: deploy_method_other
subjects: deploy_tooldev_rodinplugins
subjects: theory
full_text_status: none
date: 2010
date_type: published
publication: ECEASST
volume: 35
refereed: TRUE
official_url: http://journal.ub.tu-berlin.de/eceasst/article/view/548
citation:   Yilmaz, Emre and Hoang, Thai Son  (2010) Development of Rabin's Choice Coordination algorithm in Event-B.  ECEASST, 35 .