Yilmaz, Emre
-
Volume 35: Automated Verification of Critical Systems 2010 - Articles
Development of Rabin’s Choice Coordination Algorithm in Event-B
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST