An efficient algorithm to search for minimal closed covers in sequential machines

Ruchir Puri, Jun Gu. An efficient algorithm to search for minimal closed covers in sequential machines. IEEE Trans. on CAD of Integrated Circuits and Systems, 12(6):737-745, 1993. [doi]

Abstract

Abstract is missing.