Logic Synthesis for Control Automata

Logic Synthesis for Control Automata

2012 • 404 pages