TY - JOUR AU - E. A. Aken'shina AU - N. V. Shabaldina TI - Test suites derivation for nondeterministic finite state mashines with respect to the separability relation JO - Prikladnaâ diskretnaâ matematika PY - 2009 SP - 63 EP - 65 IS - 10 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PDM_2009_10_a31/ LA - ru ID - PDM_2009_10_a31 ER -