Jürgen Tenckhoff
-
New state-recognition patterns for conformance testing of finite state machine implementations
Computer Standards & Interfaces