Modeling and Verification of Communication Protocols in SARA: The X.21 Interface

Rami R. Razouk, Gerald Estrin. Modeling and Verification of Communication Protocols in SARA: The X.21 Interface. IEEE Transactions on Computers, 29(12):1038-1052, 1980.

Abstract

Abstract is missing.