Elie Najm. A Verification Oriented Specification in LOTOS of the Transport Protocol. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 181-203, North-Holland, 1987.
No references recorded for this publication.
No citations of this publication recorded.