TY - BOOK AU - Lavagno, Luciano, AU - Sangiovanni-Vincentelli, Alberto, TI - Algorithms for synthesis and testing of asynchronous circuits : : The Springer International Series in Engineering and Computer Science series / T2 - The Springer International Series in Engineering and Computer Science SN - 9781461364108 U1 - 621.395 LAV PY - 1993/// CY - New York PB - Springer Science N1 - includes references and index ER -