@article{DBLP:journals/siamcomp/DasTA94,
author = {Anindya Das and
Krishnaiyan Thulasiraman and
Vinod K. Agarwal},
title = {Diagnosis of t/(t+1)-Diagnosable Systems},
journal = {SIAM J. Comput.},
volume = {23},
number = {5},
year = {1994},
pages = {895-905},
ee = {http://dx.doi.org/10.1137/S0097539790187539},
bibsource = {DBLP, http://dblp.uni-trier.de}
}