Martin Mach, Frantisek Plasil. Addressing State Explosion in Behavior Protocol Verification. In 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 15-16 September 2004, Chicago, IL, USA. pages 327-333, IEEE Computer Society, 2004.
Abstract is missing.