Implicit state minimization of non-deterministic FSMs.

Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCD paper archive.