A computer program for simplyfying incompletely specified sequential machines using the Paull and Unger technique
By: M.M. Ebersole, P.E. Lecoq
Contributors: Lecoq, P. E.
Series: Ttechnical report -- no. 32-997; JPL technical report -- no. 32-997
Publisher: Jet Propulsion Laboratory, California Institute of Technology
Published: 1968
Place of publication: Pasadena, Calif
Language: eng
Number of pages: 50
Subjects: Computer algorithms; Numerical calculations; Computer programs; Project Mariner (U.S.)
Notes: At head of title: National Aeronautics and Space Administration.

Includes bibliographical references (p. 50).