Browse by Author

Authors (A-Z) "Yilmaz, Emre"

2 Results for "Yilmaz, Emre"

Subscribe to RSS feed for this result set

1. Development of Rabin’s Choice Coordination Algorithm in Event-B

Yilmaz, Emre and Hoang, Thai Son (2010)


Conference Contributions

2. Tool support for qualitative reasoning in event-B

Yilmaz, Emre (2010)


Master Theses