Verification of a Multidestination Protocol Using Temporal Logic

Authors:
Krishan K. Sabnani;Mischa Schwartz
Affiliations:
-;-
Venue:
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Year:
1982

The L.0 Language and Environment for Protocol Simulation and Prototyping

IEEE Transactions on Computers - Special issue on protocol engineering
Verification of communication protocols using data flow analysis

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
The derivation of performance expressions for communication protocols from timed petri net models

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

Hi-index	0.00