@inproceedings{inproceedings, title = {{A Thread-tag Based Semantics for Sequence Diagrams}}, publisher = {{IEEE}}, url = {{}}, year = {{2007}}, month = {{1}}, author = {{Dan H and Hierons RM and Counsell S}}, doi = {{10.1109/sefm.2007.3}}, isbn = {{9780769528847}}, journal = {{Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)}}, note = {{Accessed on 2024/12/21}}}