An ASYL/EFSM Description of the ISO Transport Protocol

Mats Daniels, Hans A. Hansson. An ASYL/EFSM Description of the ISO Transport Protocol. In Yechiam Yemini, Robert E. Strom, Shaula Yemini, editors, Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984. pages 349-373, North-Holland, 1984.

Authors

Mats Daniels

This author has not been identified. Look up 'Mats Daniels' in Google

Hans A. Hansson

This author has not been identified. Look up 'Hans A. Hansson' in Google