Development of Rabin's Choice Coordination Algorithm in Event-B (BiBTeX)

@Article{yilmaz10:_devel_rabin_choic_coord_algor_event_b,
  author = 	 {Emre Yilmaz and Thai Son Hoang},
  title = 	 {Development of {Rabin}'s Choice Coordination Algorithm in {Event-B}},
  journal = 	 {ECEASST},
  volume = 	 35,
  year = 	 2010,
  note = 	 {In Proceedings of the AVoCS2010 Workshop. \url{http://journal.ub.tu-berlin.de/eceasst/article/view/548}}
}