Modular minimization of deterministic finite-state machines (2001)

by D Bustan
Venue:In In 6th International Workshop on Formal Methods for Industrial Critical Systems