Jean-Pierre Ansart
-
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