Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote. Sarir: A Rebeca to mCRL2 Translator. In Twan Basten, Gabriel Juhás, Sandeep K. Shukla, editors, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. pages 216-222, IEEE Computer Society, 2007. [doi]
@inproceedings{HojjatSMG07,
title = {Sarir: A Rebeca to mCRL2 Translator},
author = {Hossein Hojjat and Marjan Sirjani and Mohammad Reza Mousavi and Jan Friso Groote},
year = {2007},
doi = {10.1109/ACSD.2007.62},
url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.62},
researchr = {https://researchr.org/publication/HojjatSMG07},
cites = {0},
citedby = {0},
pages = {216-222},
booktitle = {Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic},
editor = {Twan Basten and Gabriel Juhás and Sandeep K. Shukla},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-2902-8},
}