Generated Fri Oct 22 07:13:09 PDT 1999
by fc@red.all.net
Sarikaya82
[Sarikaya82] B. Sarikaya and G.V. Bochmann, Some Experience
with Test Sequence Generation for Protocols, Protocol Specification,
Testing, and Verification II, C. Sunshine editor, North-Holland Publishing
Company, 1982 []