A protocol validator for the SCM and CFSM models
Contributors: Lundy, G. M.
Publisher: Naval Postgraduate School; Available from the National Technical Information Service
Published: 1993
Place of publication: Monterey, Calif; Springfield, Va
Language: eng
Number of pages: 136
Notes: Thesis advisor, G.M. Lundy.

AD-A268 523.

Thesis (Masters of Computer Science) Naval Postgraduate School,     June 1993.

Includes bibliographical references.