Formal Analysis of Sequence Diagram with Combined Fragments

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.

Abstract

Abstract is missing.