TY - BOOK ID - 135841132 TI - Synthesis of finite state machines : functional optimization. AU - Brayton, Robert AU - Kam, Timothy AU - Villa, Tiziano PY - 1997 SN - 0792398424 PB - Boston Kluwer DB - UniCat KW - Sequential machine theory UR - https://www.unicat.be/uniCat?func=search&query=sysid:135841132 AB - ER -