The formal specification of computer systems using Petri Nets
Contributors: Davis, Daniel Lee, 1943-
Published: 1987
Language: eng
Number of pages: 128
Subjects: Computer science
Notes: Thesis advisor, Daniel Davis.

Available from National Technical Information Service, Springfield, Va.

ADA188947.

Thesis (M.S. in Computer Science) Naval Postgraduate School, Dec. 1987.

Bibliography:  p. 126-127.

c.1, c.2