@article{Oliveira2015,
 author = {Nuno Oliveira and
Alexandra Silva and
Lu{\'{\i}}s Soares Barbosa},
 doi = {10.22667/JISIS.2015.02.31.003},
 journal = {Journal of Internet Services and Information Security},
 title = {IMC\({}_{\mbox{Reo}}\): interactive Markov chains for Stochastic Reo},
 year = {2015}
}

{"_id":"HcvrQGWDJCyeQ9ABw","bibbaseid":"oliveira-silva-barbosa-imcmboxreointeractivemarkovchainsforstochasticreo-2015","author_short":["Oliveira, N.","Silva, A.","Barbosa, L. S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Nuno"],"propositions":[],"lastnames":["Oliveira"],"suffixes":[]},{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Silva"],"suffixes":[]},{"firstnames":["Luís","Soares"],"propositions":[],"lastnames":["Barbosa"],"suffixes":[]}],"doi":"10.22667/JISIS.2015.02.31.003","journal":"Journal of Internet Services and Information Security","title":"IMC\\(_\\mboxReo\\): interactive Markov chains for Stochastic Reo","year":"2015","bibtex":"@article{Oliveira2015,\n author = {Nuno Oliveira and\nAlexandra Silva and\nLu{\\'{\\i}}s Soares Barbosa},\n doi = {10.22667/JISIS.2015.02.31.003},\n journal = {Journal of Internet Services and Information Security},\n title = {IMC\\({}_{\\mbox{Reo}}\\): interactive Markov chains for Stochastic Reo},\n year = {2015}\n}\n\n","author_short":["Oliveira, N.","Silva, A.","Barbosa, L. S."],"key":"Oliveira2015","id":"Oliveira2015","bibbaseid":"oliveira-silva-barbosa-imcmboxreointeractivemarkovchainsforstochasticreo-2015","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://alexandrasilva.org/files/silva.bib","dataSources":["BQAtJ795ujcMgoxSg","g3oJeDsRp4CMAYtS6"],"keywords":[],"search_terms":["imc","mboxreo","interactive","markov","chains","stochastic","reo","oliveira","silva","barbosa"],"title":"IMC\\(_\\mboxReo\\): interactive Markov chains for Stochastic Reo","year":2015}