Author:
Bender Markus,Sofronie-Stokkermans Viorica
Publisher
Springer International Publishing
Reference28 articles.
1. Lecture Notes in Computer Science;F Alberti,2016
2. Lecture Notes in Computer Science;K Bansal,2016
3. Bender, M.: Reasoning with sets and sums of sets. In: King, T., Piskac, R. (eds.) SMT@IJCAR 2016, Proceedings. CEUR Workshop Proceedings, vol. 1617, pp. 61–70. CEUR-WS.org (2016)
4. Lecture Notes in Computer Science;A Bouajjani,1995
5. Chaochen, Z., Hansen, M.R.: Duration Calculus: A Formal Approach to Real-Time Systems. Springer, Berlin (2004)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献