Finite state machine based formal methods in protocol conformance testing (1991)

by B S Bosik, M U Uyar
Venue:Computer Networks & ISDN Systems