Vijay Gehlot, Insup Lee. Formal specification and analysis of DMI-an X-25 based protocol. In Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, INFOCOM 1988, New Orleans, LA, USA. pages 641-650, IEEE, 1988. [doi]
Abstract is missing.