Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson. Modelling and simulation of asynchronous real-time systems using Timed Rebeca. Science of Computer Programming, 89:41-68, 2014. [doi]
@article{ReynissonSACJIS14,
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},
year = {2014},
doi = {10.1016/j.scico.2014.01.008},
url = {http://dx.doi.org/10.1016/j.scico.2014.01.008},
researchr = {https://researchr.org/publication/ReynissonSACJIS14},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {89},
pages = {41-68},
}