Author:
Larsen Kim G.,Mardare Radu
Funder
VKR Center of Excellence MT-LAB
Sino-Danish Basic Research Center IDEA4CPS
Subject
General Computer Science,Theoretical Computer Science
Reference34 articles.
1. Rajeev Alur, David L. Dill, Automata for modeling real-time systems, in: Paterson [25], pp. 322–335.
2. Rajeev Alur, Salvatore La Torre, George J. Pappas, Optimal paths in weighted timed automata, in: Benedetto and Sangiovanni-Vincentelli [7], pp. 49–62.
3. A compositional proof system for the modal mu-calculus;Reif Andersen,1994
4. Henrik Reif Andersen, Glynn Winskel, Compositional checking of satisfaction, in: Larsen and Skou [21], pp. 24–36.
5. Proceedings of the Automata, Languages and Programming, 16th International Colloquium,1989
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献