TY - JOUR AU - E. A. Akenshina 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 - 106 EP - 111 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PDM_2009_3_a11/ LA - ru ID - PDM_2009_3_a11 ER -