Publisher
Springer Science and Business Media LLC
Reference6 articles.
1. A. N. Chebotarev, “Regular form of deterministic FSMs specifications in the language L,” Prikl. Diskr. Matemetika., No. 4, 64–72 (2010).
2. A. N. Chebotarev, “Harmonization of interacting automata,” Cybernetics and Systems Analysis, 51, No. 5, 676–686 (2015).
3. A. N. Chebotarev, “General method of testing the compatibility of interacting automata with finite memory,” Cybernetics and Systems Analysis, 35, No. 6, 867–874 (1999).
4. C.-L. Chang and R. C.-T. Lee, Symbolic Logic and Mechanical Theorem Proving [Russian translation], Nauka, Moscow (1983).
5. A. N. Chebotarev, “Consistency test for simple specifications of automaton systems,” Cybernetics and Systems Analysis, 30, No. 3, 317–322 (1994).
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献