Important message for ECS staff
From 1st March 2012 ECS EPrints will be merging with the central Southampton EPrints Repository (ePrints Soton) and will no longer be accepting new publications - click here to find out more.

Items from Current ECS Groups > Systems Group in 2011
(Grouped by Item Type)

Up a level

Group by: No Grouping | Item Type | Creator/Authors Name

Jump to: Conference or Workshop Item

Number of items: 1.

Conference or Workshop Item

Sarshogh, M. R. and Butler, M. (2011) Specification and refinement of discrete timing properties in Event-B. Submitted to: AVoCS 2011, September 2011, Newcastle. (Submitted)

This list was generated on Sat May 18 00:57:26 2013 BST.

Items from Current ECS Groups > Systems Group in 2011 (Grouped by Item Type)

Conference or Workshop Item

Items from Current ECS Groups > Systems Group in 2011
(Grouped by Item Type)