Some procedures for finding substitution property partitions, substitution property covers, and cover pairs for finite state sequential machines
By: by Stephen Roy Dillon
Series: Ohio. State University, Columbus. Computer and Information Science Research Center. Technical report series : -- OSU-CISRC-TR-70-3
Publisher: Computer and Information Science Research Center, Ohio State University
Published: 1970
Place of publication: Columbus, Ohio
Language: eng
Number of pages: 80
Subjects: Sequential machine theory; Partitions (Mathematics)
Notes: Work performed under grant no.534.1, National Science Foundation.

Bibliography: p. 79-80.