@article{ dblp1854941,
  title = {Reasoning about almost-certain convergence properties using Event-B},
  author = {Thai Son Hoang},
  author_short = {Son Hoang, T.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1854941},
  id = {dblp1854941},
  biburl = {http://www.dblp.org/rec/bibtex/journals/scp/Hoang14},
  url = {http://dx.doi.org/10.1016/j.scico.2013.08.006},
  journal = {Sci. Comput. Program. (SCP)},
  pages = {108-121},
  volume = {81},
  text = {Sci. Comput. Program. (SCP) 81:108-121 (2014)}
}

{"_id":"33SiSYSmbRNXBAF9E","bibbaseid":"sonhoang-reasoningaboutalmostcertainconvergencepropertiesusingeventb-2014","downloads":0,"creationDate":"2015-06-12T22:13:32.982Z","title":"Reasoning about almost-certain convergence properties using Event-B","author_short":["Son Hoang, T."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/scp/Hoang14","bibdata":{"title":"Reasoning about almost-certain convergence properties using Event-B","author":["Thai Son Hoang"],"author_short":["Son Hoang, T."],"bibtype":"article","type":"article","year":"2014","key":"dblp1854941","id":"dblp1854941","biburl":"http://www.dblp.org/rec/bibtex/journals/scp/Hoang14","url":"http://dx.doi.org/10.1016/j.scico.2013.08.006","journal":"Sci. Comput. Program. (SCP)","pages":"108-121","volume":"81","text":"Sci. Comput. Program. (SCP) 81:108-121 (2014)","bibtex":"@article{ dblp1854941,\n title = {Reasoning about almost-certain convergence properties using Event-B},\n author = {Thai Son Hoang},\n author_short = {Son Hoang, T.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1854941},\n id = {dblp1854941},\n biburl = {http://www.dblp.org/rec/bibtex/journals/scp/Hoang14},\n url = {http://dx.doi.org/10.1016/j.scico.2013.08.006},\n journal = {Sci. Comput. Program. (SCP)},\n pages = {108-121},\n volume = {81},\n text = {Sci. Comput. Program. (SCP) 81:108-121 (2014)}\n}","bibbaseid":"sonhoang-reasoningaboutalmostcertainconvergencepropertiesusingeventb-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.scico.2013.08.006"},"downloads":0},"search_terms":["reasoning","certain","convergence","properties","using","event","son hoang"],"keywords":[],"authorIDs":[],"dataSources":["Mf3swBsxZxekLuZRW"]}