Publisher
Springer Science and Business Media LLC
Reference14 articles.
1. A. Church, “Applications of recursive arithmetic to the problem of circuit synthesis,” in: Summaries of the Summer Inst. for Symbolic Logic, Cornell Univ., New York (1957), pp. 3–50.
2. O. Kupferman, “Recent challenges and ideas in temporal synthesis,” in: Proc. 38th Conf. on Theory and Practice of Computer Science (SOFSEM 2012): Lect. Notes Comput. Sci., 7147, 88–98 (2012).
3. B. Alpern and F. B. Schneider, “Defining liveness,” Information Processing Letters, 21, No. 4, 181–185 (1985).
4. A. N. Chebotarev, “Interacting automata,” Cybernetics and Systems Analysis, 27, No. 6, 810–819 (1991).
5. 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).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献