https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000431850 Mon 17 Dec 2018 14:49:53 KRAT ]]>