@article{DBLP:journals/tcad/KeutzerLS95,
author = {Kurt Keutzer and
Luciano Lavagno and
Alberto L. Sangiovanni-Vincentelli},
title = {Synthesis for testability techniques for asynchronous circuits},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {14},
number = {12},
year = {1995},
pages = {1569-1577},
ee = {http://doi.ieeecomputersociety.org/10.1109/43.476586},
bibsource = {DBLP, http://dblp.uni-trier.de}
}