Reasoning about Almost-Certain Convergence Properties Using Event-B (BiBTeX)

@Article{hoang14:_reason_almos_certain_conver_proper,
  author = 	 {Thai Son Hoang},
  title = 	 {Reasoning about Almost-Certain Convergence Properties Using {Event-B}},
  journal = 	 {Science of Computer Programming},
  year = 	 2014,
  month = 	 feb,
  volume = 	 81,
  pages =        {108--121},  
  publisher =    {Elsevier},
  note = 	 {\url{http://dx.doi.org/10.1016/j.scico.2013.08.006}}
}