MOMENTAN AUSVERKAUFT

Synthesis of Finite State Machines von Alberto Sangiovanni-Vincentelli, Robert K. Brayton, Tiziano Villa und Timothy Kam (2012, Taschenbuch)