Author:
de Alfaro Luca,Henzinger Thomas A.,Stoelinga Mariëlle
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. S. Abramsky. Semantics of interaction. In Trees in Algebra and Programming, volume 1059 of Lect. Notes in Comp. Sci., page 1. Springer, 1996.
2. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.
3. R. Alur and T.A. Henzinger. Modularity for timed and hybrid systems. In Concurrency Theory, volume 1243 of Lect. Notes in Comp. Sci., pages 74–88. Springer, 1997.
4. E. Asarin, O. Maler, A. Pnueli, and J. Sifakis. Controller synthesis for timed automata. In Proc. IFAC Symp. System Structure and Control, pages 469–474. Elsevier, 1998.
5. S. Chaki, S.K. Rajamani, and J. Rehof. Types as models: Model checking message-passing programs. In Proc. Symp. Principles of Programming Languages, pages 45–57. ACM, 2002.
Cited by
64 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献