Bryans, Jeremy W. Develpoment of the Floodset algorithm. [Rodin Archive]
![]() | ZIP Archive (Floodset development (on Rodin 1.3.1) asssociated with archive number #285) 1011Kb |
Abstract
Associated with and described in archive number 285
Item Type: | Rodin Archive |
---|---|
Subjects: | Methodology > Refinement Training > Event-B Event-B > Event-B Examples |
ID Code: | 286 |
Deposited By: | Dr Jeremy Bryans |
Deposited On: | 16 Feb 2011 14:27 |
Last Modified: | 16 Feb 2011 14:27 |
Repository Staff Only: item control page