Communication protocol specification and verification
Lai, Richard
Communication protocol specification and verification
by Richard Lai, Ajin Jirachiefpattana
- Deventer, The Netherlands ; Boston, MA Kluwer Academic c1998
- xxii, 304 p. : ill. ; 25 cm