Author:
Fietzke Arnaud,Weidenbach Christoph
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Computational Mathematics
Reference55 articles.
1. Althaus, E., Kruglov, E., Weidenbach, C.: Superposition modulo linear arithmetic SUP(LA). In: FroCos, LNCS, vol. 5749, pp. 84–99. Springer (2009)
2. Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Logic in Computer Science, 1990. LICS ’90, Proceedings., Fifth Annual IEEE Symposium on e, pp. 414–425, June 1990
3. Alur R., Courcoubetis C., Dill D.: Model-checking in dense real-time. Inf. Comput. 104, 2–34 (1993)
4. Alur R., Dill D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
5. Armando A., Bonacina M.P., Ranise S., Schulz S.: New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. 10(1), 4:1–4:51 (2009)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献