Christoph Meinel;Thorsten Theobald
-;-
An efficient heuristic for state encoding minimizing the BDD representations of the transistion relations of finite state machines
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
Formal Methods in System Design