Development of Rabin's Choice Coordination algorithm in Event-B

Yilmaz, Emre and Hoang, Thai Son (2010) Development of Rabin's Choice Coordination algorithm in Event-B. ECEASST, 35 .

Full text not available from this repository.

Item Type:	Article
Subjects:	Methodology > Other Tool developments > Rodin plug-ins Event-B > Event-B Theory
ID Code:	417
Deposited By:	Thai Son Hoang
Deposited On:	09 Jul 2012 14:38
Last Modified:	09 Jul 2012 14:39

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.