Anatoli N. Chebotarev

Publication Activity (10 Years)

Years Active: 1993-1999
Publications (10 Years): 0

Publications

Marek A. Perkowski, Alan Mishchenko, Anatoli N. Chebotarev
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints. Evolvable Hardware (1999)
Anatoli N. Chebotarev, Marina K. Morokhovets
Resolution-Based Approach to Computability Analysis of Interacting Automata. Theor. Comput. Sci. 194 (1-2) (1998)
Anatoli N. Chebotarev, Marina K. Morokhobets
Consistency Checking of Automata Functional Specifications. LPAR (1993)