"339","Herman's probabilistic self-stabilization development (qualitative reasoning)","For Rodin 2.2.2 and Qualitative Probability plug-in 0.2.0","http://deploy-eprints.ecs.soton.ac.uk/339/","Hoang, Thai Son","UNSPECIFIED"," Hoang, Thai Son Herman's probabilistic self-stabilization development (qualitative reasoning). [Rodin Archive] ","htson@inf.ethz.ch",""