Rafic Z. Makki, J. Muha, Silvio Bou-Ghazale, T. Kaylani. SSC-a tool for the synthesis of testable sequential machines. In Intellectual Leverage: Thirty-Fifth IEEE Computer Society International Conference, Compcon Spring '90, San Francisco, California, USA, February 26 - March 2, 1992, Digest of Papers. pages 455-461, IEEE, 1990. [doi]
Abstract is missing.