DMCA

Modular minimization of deterministic finite-state machines (2001)

Cached

Download Links

by Doron Bustan
Venue:In 6th International Workshop on Formal Methods for Industrial Critical Systems
Citations:5 - 1 self