A.N.* Skli︠a︡revich

• Rekurrentnyĭ sintez testov proverki kombinat︠s︡ionnykh avtomatov