A scalable tool for efficient protocol validation and testing.

J. Jenny Li Joseph Robert Horgan A scalable tool for efficient protocol validation and testing. 766-773 2003 26 Computer Communications 7 http://dx.doi.org/10.1016/S0140-3664(02)00211-6 db/journals/comcom/comcom26.html#LiH03