Hui Shen, Mark Robinson, Jianwei Niu. Formal Analysis of Sequence Diagram with Combined Fragments. In Slimane Hammoudi, Marten van Sinderen, José Cordeiro, editors, ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012. pages 44-54, SciTePress, 2012.
@inproceedings{ShenRN12,
title = {Formal Analysis of Sequence Diagram with Combined Fragments},
author = {Hui Shen and Mark Robinson and Jianwei Niu},
year = {2012},
researchr = {https://researchr.org/publication/ShenRN12},
cites = {0},
citedby = {0},
pages = {44-54},
booktitle = {ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012},
editor = {Slimane Hammoudi and Marten van Sinderen and José Cordeiro},
publisher = {SciTePress},
isbn = {978-989-8565-19-8},
}