"359","Herman's probabilistic self-stabilization development (qualitative reasoning)","For Rodin 2.3.0 and Qualitative Probability plug-in 0.2.1","http://deploy-eprints.ecs.soton.ac.uk/359/","Hoang, Thai Son","UNSPECIFIED","       <span class=\"person_name\">Hoang, Thai Son</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/359/\"><em>Herman's probabilistic self-stabilization development (qualitative reasoning).</em></a>       [Rodin Archive]           ","htson@inf.ethz.ch",""