creators_name: Hoang, Thai Son
creators_id: htson@inf.ethz.ch
type: rodin_archive
datestamp: 2011-11-23 15:48:11
lastmod: 2011-11-23 15:48:11
metadata_visibility: show
title: Herman's probabilistic self-stabilization development (qualitative reasoning)
subjects: deploy_training_rodinplugins
subjects: examples
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
citation:   Hoang, Thai Son   Herman's probabilistic self-stabilization development (qualitative reasoning).  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/359/1/HermanRing-110906-Rodin2.3.0.zip