Hasso-Plattner-Institut
 
    • de
 

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:

    People: