creators_name: Hoang, Thai Son
creators_id: htson@inf.ethz.ch
type: rodin_archive
datestamp: 2011-09-16 23:18:46
lastmod: 2011-09-16 23:21:11
metadata_visibility: no_search
title: Herman's probabilistic self-stabilization development (qualitative reasoning)
subjects: deploy_training_rodinplugins
subjects: examples
full_text_status: public
note: For Rodin 2.2.2 and Qualitative Probability plug-in 0.2.0
abstract: For Rodin 2.2.2 and Qualitative Probability plug-in 0.2.0
citation:   Hoang, Thai Son   Herman's probabilistic self-stabilization development (qualitative reasoning).  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/339/1/HermanRing-110906-Rodin2.2.2.zip

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