Author:
Laroussinie François,Larsen Kim G.
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for Real-Time Systems. In Proceedings of Logic in Computer Science, pages 414–425. IEEE Computer Society Press, 1990.
2. R. Alur and D. Dill. Automata for Modelling Real-Time Systems. Theoretical Computer Science, 126(2):183–236, April 1994.
3. H. R. Andersen. A Polyadic Modal μ-calculus. Id-tr: 1994-145, Department of Computer Science, Technical University of Denmark, 1994.
4. H. R. Andersen. Partial Model Checking. To appear in Proceedings of LICS'95, 1995.
5. H. R. Andersen, C. Stirling, and G. Winskel. A Compositional Proof System for the Modal Mu-Calculus. Logic in Computer Science, 1994.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献