A tool for efficient protocol validation and testing

J. Jenny Li, Joseph Robert Horgan. A tool for efficient protocol validation and testing. In Ton Engbersen, E. K. Park, editors, Proceedings Ninth International Conference on Computer Communications and Networks, ICCCN 2000, 16-18 October 2000, Las Vegas, Nevada, USA. pages 14-17, IEEE, 2000. [doi]

Abstract

Abstract is missing.