Reasoning about Liveness Properties in Event-B (BiBTeX)

@InProceedings{hoang11:_reason_liven_proper_event_b,
  author = 	 {Thai Son Hoang and Jean-Raymond Abrial},
  title = 	 {Reasoning about Liveness Properties in {Event-B}},
  crossref = 	 {qin11:_icfem2011},
  pages = 	 {456--471},
  note =         {\url{http://dx.doi.org/10.1007/978-3-642-24559-6_31}}
}

@Proceedings{qin11:_icfem2011,
  title = 	 {Proceedings of the 13th International Conference on Formal Engineering Methods ({ICFEM2011})},
  booktitle = 	 {Formal Methods and Software Engineering},
  editor = 	 {Shengchao Qin and Zongyan Qiu},
  volume = 	 6991,
  series = 	 {Lecture Notes in Computer Science},
  year = 	 2011,
  month = 	 oct,
  address = 	 {Durham, United Kingdom},
  publisher = 	 {Springer-Verlag},
  note = 	 {\url{http://dx.doi.org/10.1007/978-3-642-24559-6}}
}