Skip to content

Formal specification and analysis of DMI-an X-25 based protocol.

Vijay Gehlot, Insup Lee

Year1988
ProceedingsINFOCOM

Browse the full INFOCOM paper archive.