Bryans, Jeremy W. Responsive Coalition Perturbed. [Rodin Archive]
ZIP Archive (in support of "Refinement-based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations" item number 298) - Supplemental Material 264Kb |
Item Type: | Rodin Archive |
---|---|
Subjects: | Event-B > Event-B Examples |
ID Code: | 301 |
Deposited By: | Dr Jeremy Bryans |
Deposited On: | 12 Apr 2011 14:04 |
Last Modified: | 12 Apr 2011 14:04 |
Repository Staff Only: item control page