Bisimulation of state automata
By: by Ofer Ben-Shachar.
Published: 1986
Language: eng
Number of pages: 34
Subjects: Sequential machine theory.
Notes: Typescript.

Thesis (M.S.)--Washington State University, 1986.

Bibliography: leaves 33-34.

WSU:"Department of Computer Science."