Protocol Verification Using Reachability Analysis: The State Space Explosion (0)

by F J Lin, P M Chu, M T Liu
Venue:Problem and Relief Strategies, proc. of the ACM SIGCOMM87 Workshop