Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani. Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Science of Computer Programming, 113:85-118, 2015. [doi]
@article{Sabahi-KavianiK15,
title = {Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude},
author = {Zeynab Sabahi-Kaviani and Ramtin Khosravi and Peter Csaba Ölveczky and Ehsan Khamespanah and Marjan Sirjani},
year = {2015},
doi = {10.1016/j.scico.2015.07.003},
url = {http://dx.doi.org/10.1016/j.scico.2015.07.003},
researchr = {https://researchr.org/publication/Sabahi-KavianiK15},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {113},
pages = {85-118},
}