@inproceedings{inproceedings, title = {{Thread鈥揃ased Analysis of Sequence Diagrams}}, publisher = {{Springer Berlin Heidelberg}}, url = {{}}, year = {{2007}}, month = {{1}}, author = {{Dan H and Hierons RM and Counsell S}}, doi = {{10.1007/978-3-540-73196-2_2}}, isbn = {{9783540731955}}, pages = {{19-34}}, note = {{Accessed on 2025/03/13}}}