On the influence of the state encoding on OBDD-representations of finite state machines
Theoretical informatics and applications. Bd. 33. H. 1. Cambridge, Mass.: EDP Sciences 1999 S. 21 - 32
Erscheinungsjahr: 1999
ISBN/ISSN: 0988-3754
Publikationstyp: Zeitschriftenaufsatz
| Geprüft: | Bibliothek |
