State Encoding of Sequential Systems
Research Topic: State Encoding of Sequential Systems
Technical Reports:
- Ch. Meinel, Th. Theobald:
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
Publications:
- Ch. Meinel, T. Theobald
On the Influence of the State Encoding on OBDD-Representations of Finite State Machines
Proc. MFCS'97, Bratislava (Slowakei), LNCS 1295, 1997, 408-417. - Ch. Meinel, T. Theobald
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
Proc. FMCAD'96, Palo Alto (California, USA), LNCS 1166, Springer-Verlag 1996, 404-418.
People:
