Author:
Chebotarev Anatoly,Krivoi Sergey
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Chebotarev, A.: Provably-correct development of reactive algorithms. In: Proc. Int. Workshop ”Rewriting Techniques and Efficient Theorem Proving” (RTETP-2000), pp. 117–133 (2000)
2. Chebotarev, A.: Determinisations of logical specifications of automata (translated from Russian). Cybernetics and Systems Analysis 31(1), 1–7 (1995)
3. Chebotarev, A.N., Morokhovets, M.K.: Resolution-based approach to compatibility analysis of interacting automata. Theoretical Computer Science 194, 183–205 (1998)
4. Lecture Notes in Computer Science;A.N. Chebotarev,1993
5. Chebotarev, A.: Separate Resolution Method for Checking the Satisfiability of Formulas in the Language L (translated from Russian). Cybernet. Systems Analysis 34(6), 794–799 (1998)