%0 Journal Article %1 journals/scp/Hoang14 %A Hoang, Thai Son %D 2014 %J Sci. Comput. Program. %K dblp %P 108-121 %T Reasoning about almost-certain convergence properties using Event-B. %U http://dblp.uni-trier.de/db/journals/scp/scp81.html#Hoang14 %V 81

@article{journals/scp/Hoang14, added-at = {2021-02-17T00:00:00.000+0100}, author = {Hoang, Thai Son}, biburl = {https://www.bibsonomy.org/bibtex/235e6f3f3ac0d111c1ccf9f4fe5460e72/dblp}, ee = {https://doi.org/10.1016/j.scico.2013.08.006}, interhash = {d0f523aeef0d7f5f27d91465cdc35b3a}, intrahash = {35e6f3f3ac0d111c1ccf9f4fe5460e72}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {108-121}, timestamp = {2024-04-09T05:29:41.000+0200}, title = {Reasoning about almost-certain convergence properties using Event-B.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp81.html#Hoang14}, volume = 81, year = 2014 }