On Testing and Diagnosis of Communication Protocols Based on the FSM Model.

T. Ramalingam Anindya Das Krishnaiyan Thulasiraman On Testing and Diagnosis of Communication Protocols Based on the FSM Model. 329-337 1995 18 Computer Communications 5 db/journals/comcom/comcom18.html#RamalingamDT95a