Browsing by author "Fuhrer, R. M."
Now showing items 1-2 of 2
-
Algorithms for the optimal state assignment of asynchronous state machines
Fuhrer, R. M.; Lin, Bill; Nowick, S. (1995) -
Symbolic hazard-free minimization and encoding of asynchronous finite state machines
Fuhrer, R. M.; Lin, Bill; Nowick, S. (1995)