RUS
ENG
Full version
PEOPLE
Totsenko V G
Publications in Math-Net.Ru
Design methods for checking tests of arbitrary finite automata
Avtomat. i Telemekh.
, 1976, no. 11,
183–192
©
Steklov Math. Inst. of RAS
, 2024
