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.

Authors

Rami R. Razouk

This author has not been identified. Look up 'Rami R. Razouk' in Google

Gerald Estrin

This author has not been identified. Look up 'Gerald Estrin' in Google