@article{ dblp2155847,
  title = {Modelling and simulation of asynchronous real-time systems using Timed Rebeca},
  author = {Arni Hermann Reynisson and Marjan Sirjani and Luca Aceto and Matteo Cimini and Ali Jafari and Anna Ingólfsdóttir and Steinar Hugi Sigurdarson},
  author_short = {Hermann Reynisson, A. and Sirjani, M. and Aceto, L. and Cimini, M. and Jafari, A. and Ingólfsdóttir, A. and Hugi Sigurdarson, S.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp2155847},
  id = {dblp2155847},
  biburl = {http://www.dblp.org/rec/bibtex/journals/scp/ReynissonSACJIS14},
  url = {http://dx.doi.org/10.1016/j.scico.2014.01.008},
  journal = {Sci. Comput. Program. (SCP)},
  pages = {41-68},
  volume = {89},
  text = {Sci. Comput. Program. (SCP) 89:41-68 (2014)}
}

{"_id":"ZETtvGB8SEfvJHWDE","bibbaseid":"hermannreynisson-sirjani-aceto-cimini-jafari-inglfsdttir-hugisigurdarson-modellingandsimulationofasynchronousrealtimesystemsusingtimedrebeca-2014","downloads":0,"creationDate":"2016-02-18T15:10:12.106Z","title":"Modelling and simulation of asynchronous real-time systems using Timed Rebeca","author_short":["Hermann Reynisson, A.","Sirjani, M.","Aceto, L.","Cimini, M.","Jafari, A.","Ingólfsdóttir, A.","Hugi Sigurdarson, S."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/scp/ReynissonSACJIS14","bibdata":{"title":"Modelling and simulation of asynchronous real-time systems using Timed Rebeca","author":["Arni Hermann Reynisson","Marjan Sirjani","Luca Aceto","Matteo Cimini","Ali Jafari","Anna Ingólfsdóttir","Steinar Hugi Sigurdarson"],"author_short":["Hermann Reynisson, A.","Sirjani, M.","Aceto, L.","Cimini, M.","Jafari, A.","Ingólfsdóttir, A.","Hugi Sigurdarson, S."],"bibtype":"article","type":"article","year":"2014","key":"dblp2155847","id":"dblp2155847","biburl":"http://www.dblp.org/rec/bibtex/journals/scp/ReynissonSACJIS14","url":"http://dx.doi.org/10.1016/j.scico.2014.01.008","journal":"Sci. Comput. Program. (SCP)","pages":"41-68","volume":"89","text":"Sci. Comput. Program. (SCP) 89:41-68 (2014)","bibtex":"@article{ dblp2155847,\n title = {Modelling and simulation of asynchronous real-time systems using Timed Rebeca},\n author = {Arni Hermann Reynisson and Marjan Sirjani and Luca Aceto and Matteo Cimini and Ali Jafari and Anna Ingólfsdóttir and Steinar Hugi Sigurdarson},\n author_short = {Hermann Reynisson, A. and Sirjani, M. and Aceto, L. and Cimini, M. and Jafari, A. and Ingólfsdóttir, A. and Hugi Sigurdarson, S.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp2155847},\n id = {dblp2155847},\n biburl = {http://www.dblp.org/rec/bibtex/journals/scp/ReynissonSACJIS14},\n url = {http://dx.doi.org/10.1016/j.scico.2014.01.008},\n journal = {Sci. Comput. Program. (SCP)},\n pages = {41-68},\n volume = {89},\n text = {Sci. Comput. Program. (SCP) 89:41-68 (2014)}\n}","bibbaseid":"hermannreynisson-sirjani-aceto-cimini-jafari-inglfsdttir-hugisigurdarson-modellingandsimulationofasynchronousrealtimesystemsusingtimedrebeca-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.scico.2014.01.008"},"downloads":0},"search_terms":["modelling","simulation","asynchronous","real","time","systems","using","timed","rebeca","hermann reynisson","sirjani","aceto","cimini","jafari","ingólfsdóttir","hugi sigurdarson"],"keywords":[],"authorIDs":["56c5ded4dd338cfd2c0001e2"],"dataSources":["Rd7urccp9fMmrrXzX"]}