creators_name: Yilmaz, Emre
creators_name: Hoang, Thai Son
creators_id: htson@inf.ethz.ch
type: rodin_archive
datestamp: 2010-06-29 12:21:23
lastmod: 2011-09-16 23:15:48
metadata_visibility: no_search
title: Rabin's Choice Coordination Development
subjects: deploy_method_other
subjects: deploy_tooldev_rodinplugins
full_text_status: public
institution: ETH Zurich
department: Department of Computer Science
citation:   Yilmaz, Emre and Hoang, Thai Son   Rabin's Choice Coordination Development.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/232/1/Rabin-110905.zip

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