Hoang, Thai Son Herman's probabilistic self-stabilization development. [Rodin Archive]
![]() | There is a more recent version of this item available. |
![]() |
ZIP Archive (Herman's probabilistic self-stabilization development)
114Kb |
Item Type: | Rodin Archive |
---|---|
Subjects: | Training > Rodin plug-ins Event-B > Event-B Examples |
ID Code: | 334 |
Deposited By: | Thai Son Hoang |
Deposited On: | 08 Sep 2011 14:27 |
Last Modified: | 15 Sep 2011 09:33 |
Available Versions of this Item
- Herman's probabilistic self-stabilization development. (deposited 08 Sep 2011 14:27) [Currently Displayed]
Repository Staff Only: item control page