A tool for automated validation of network protocols
Contributors: Lundy, G. M.
Publisher: Naval Postgraduate School; Available from the National Technical Information Service
Published: 1992
Place of publication: Monterey, Calif; Springfield, Va
Language: eng
Number of pages: 243
Notes: Thesis advisor, G.M. Lundy.

ADA256 726.

Thesis (M.S. in Computer Science) Naval Postgraduate School, Sept. 1992.

Bibliography: p. 241-242.