Title :
Closed sets of boolean functions and the reliability problem for polyfunctional nets
Author :
Sethares, George
Author_Institution :
Data Sciences Lab., Air Force Cambridge Research Labs., Bedford, Mass.
Keywords :
Automata; Boolean functions; Computer aided software engineering; Convergence; Electrical fault detection; Minimization; Sequential circuits; Upper bound;
Journal_Title :
Electronic Computers, IEEE Transactions on
DOI :
10.1109/PGEC.1966.264410
