Dimiter R. Avresky, Spyridon Vassilaras. Automated Formal Verification of Protocols. In Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), September 22-25, 1997 Las Vegas, NV, USA. pages 166-169, IEEE, 1997. [doi]
Abstract is missing.