TY - CONF T1 - A Thread-tag Based Semantics for Sequence Diagrams JO - Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) PY - 2007/01/01 AU - Dan H AU - Hierons RM AU - Counsell S ED - DO - DOI: 10.1109/sefm.2007.3 PB - IEEE SN - 9780769528847 Y2 - 2025/05/19 ER -