Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli. Implicit state minimization of non-deterministic FSMs. In 1995 International Conference on Computer Design (ICCD 95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings. pages 250-257, IEEE Computer Society, 1995. [doi]
Abstract is missing.