creators_name: Yilmaz, Emre
creators_name: Hoang, Thai Son
creators_id: htson@inf.ethz.ch
type: rodin_archive
datestamp: 2011-11-23 15:46:51
lastmod: 2011-11-23 15:46:51
metadata_visibility: show
title: Rabin's Choice Coordination Development (qualitative reasoning)
subjects: deploy_method_other
subjects: deploy_tooldev_rodinplugins
full_text_status: public
note: For Rodin 2.3.0 and Qualitative Probability plug-in 0.2.1
abstract: For Rodin 2.3.0 and Qualitative Probability plug-in 0.2.1
institution: ETH Zurich
department: Department of Computer Science
citation:   Yilmaz, Emre and Hoang, Thai Son   Rabin's Choice Coordination Development (qualitative reasoning).  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/358/1/Rabin-110907-Rodin2.3.0.zip

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