Reasoning about almost-certain convergence properties using Event-B. Son Hoang, T. Sci. Comput. Program. (SCP), 81:108-121, 2014.
Paper bibtex @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)}
}
Downloads: 0
{"_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"]}