Specification and Verification of Networks Protocols Using

Authors:
Ana R. Cavalli;Luis Fariñas del Cerro
Affiliations:
-;-
Venue:
Proceedings of the 6th Colloquium on International Symposium on Programming
Year:
1984

Citing 0
Cited 2

Formalization of Protocol Engineering Concepts

IEEE Transactions on Computers - Special issue on protocol engineering
A method of automatic proof for the specification and verification of protocols

SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract