Author:
Dang Zhe,Bultan Tevfik,H. Ibarra Oscar,A. Kemmerer Richard
Subject
General Computer Science,Theoretical Computer Science
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Timed recursive state machines: Expressiveness and complexity;Theoretical Computer Science;2016-04
2. Zenoness for Timed Pushdown Automata;Electronic Proceedings in Theoretical Computer Science;2014-02-23
3. A survey of timed automata for the development of real-time systems;Computer Science Review;2013-08
4. Dense-Timed Pushdown Automata;2012 27th Annual IEEE Symposium on Logic in Computer Science;2012-06
5. LogLogics: A logic for history-dependent business processes;Science of Computer Programming;2007-03