Alistair Cockburn. A Formalization of Temporal Message-Flow Diagrams. In Bengt Jonsson, Joachim Parrow, Björn Pehrson, editors, Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991. pages 59-74, North-Holland, 1991.
No references recorded for this publication.
No citations of this publication recorded.