Revisiting Safe Realizability of Message Sequence Charts Specifications

Abdolmajid Mousavi, Behrouz H. Far. Revisiting Safe Realizability of Message Sequence Charts Specifications. In 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland. pages 37-45, IEEE Computer Society, 2008. [doi]

@inproceedings{MousaviF08-0,
  title = {Revisiting Safe Realizability of Message Sequence Charts Specifications},
  author = {Abdolmajid Mousavi and Behrouz H. Far},
  year = {2008},
  doi = {10.1109/ICECCS.2008.9},
  url = {http://dx.doi.org/10.1109/ICECCS.2008.9},
  researchr = {https://researchr.org/publication/MousaviF08-0},
  cites = {0},
  citedby = {0},
  pages = {37-45},
  booktitle = {13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-3139-3},
}