Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari. Strong Safe Realizability of Message Sequence Chart Specifications. In Farhad Arbab, Marjan Sirjani, editors, International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings. Volume 4767 of Lecture Notes in Computer Science, pages 334-349, Springer, 2007. [doi]
@inproceedings{MousaviFEH07,
title = {Strong Safe Realizability of Message Sequence Chart Specifications},
author = {Abdolmajid Mousavi and Behrouz Homayoun Far and Armin Eberlein and Behrouz Heidari},
year = {2007},
doi = {10.1007/978-3-540-75698-9_22},
url = {http://dx.doi.org/10.1007/978-3-540-75698-9_22},
researchr = {https://researchr.org/publication/MousaviFEH07},
cites = {0},
citedby = {0},
pages = {334-349},
booktitle = {International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
editor = {Farhad Arbab and Marjan Sirjani},
volume = {4767},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-75697-2},
}