@article{Hwang_2012,
title={Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs},
volume={112},
ISSN={0020-0190},
url={http://dx.doi.org/10.1016/j.ipl.2011.12.012},
DOI={10.1016/j.ipl.2011.12.012},
number={7},
journal={Information Processing Letters},
publisher={Elsevier BV},
author={Hwang,
Iksoon and Yevtushenko,
Nina and Cavalli,
Ana},
year={2012},
month=mar,
pages={298–301} }