Minimizing interacting finite state machines: a compositional approach to language containment.
| Autor: | Aziz, A., Singhal, V., Brayton, R., Swamy, G.M. |
|---|---|
| Zdroj: | Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers & Processors; 1994, p255-261, 7p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|