TY - BOOK AU - Barkalov, Alexander AU - Titarenko, Larysa TI - Logic synthesis for FSM-based control units SN - 9783642043086 U1 - 621.395 PY - 2009/// CY - New York PB - Springer ER -