Colin H. West
-
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
Protocol Validation for Large-Scale Applications
IEEE Software