Author:
Chebotarev Anatoli N.,Morokhovets Marina K.
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. A. Church: Applications of recursive arithmetic to the problem of circuit synthesis. In: Summaries of the Summer Inst. for Symbolic Logic, Cornell University, Ithaca, New York: 1957, pp. 3–50
2. J.R. Buchi: Weak second-order arithmetic and finite automata. Zeitshr. Math. Logik und Grundl. der Math. 6, 66–92 (1960)
3. B.A. Trakhtenbrot, J.M. Barzdin: Finite automata (behaviour and synthesis) (in Russian). Moscow, USSR: Nauka 1970
4. B. Auernheimer, R.A. Kemmerer: RT-ASLAN: A specification language for real-time systems. IEEE Transactions on Software Engineering SE-12, 879–889 (1986)
5. F. Jahanian, A. Ka-Lan-Hok: Safety analysis of timing properties in realtime systems. IEEE Transactions on Software Engineering SE-12, 890–904 (1986)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献