Algorithmic Verification of ISDN Network Layer Protocol
- 2 January 1990
- journal article
- website
- Published by Institute of Electrical and Electronics Engineers (IEEE) in AT&T Technical Journal
- Vol. 69 (1) , 17-31
- https://doi.org/10.1002/j.1538-7305.1990.tb00100.x
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- An algorithmic technique for protocol verificationIEEE Transactions on Communications, 1988
- Protocol Verification via ProjectionsIEEE Transactions on Software Engineering, 1984
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- An Automated Technique of Communications Protocol ValidationIEEE Transactions on Communications, 1978