@InProceedings{ hoang.ea:reasoning:2011, author = {Thai Son Hoang and Jean-Raymond Abrial}, booktitle = {Formal Methods and Software Engineering (ICFEM)}, copyright = {Springer}, copyrighturl = {http://www.springer.de/comp/lncs}, editor = {Shengchao Qin and Zonguan Qiu}, language = {USenglish}, month = 10, publisher = {Springer}, series = {LNCS}, title = {Reasoning about Liveness Properties in Event-B}, volume = 6991, year = 2011, user = {htson} }