Automated techniques for specification and validation of communications protocols

Authors:
Lloyd David Umbaugh
Affiliations:
-
Venue:
Automated techniques for specification and validation of communications protocols
Year:
1983

Citing 0
Cited 1

Protocol verification using reachability analysis: the state space explosion problem and relief strategies

SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology

Quantified Score

Hi-index	0.00

Visualization

Abstract