Author:
Arcile Johan,Czachórski Tadeusz,Devillers Raymond,Didier Jean-Yves,Klaudel Hanna,Rataj Artur
Publisher
Springer International Publishing
Reference19 articles.
1. LNCS;R Alur,1990
2. LNCS;R Alur,1991
3. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
4. Arcile, J., Didier, J.Y., Klaudel, H., Devillers, R., Rataj, A.: Analysis of real-time properties of mixed reality applications. Submitted paper (2015)
5. Arcile, J., Didier, J.Y., Klaudel, H., Devillers, R., Rataj, A.: Indefinite Waitings in MIRELA systems. In: ESSS 2015. pp. 5–18. Oslo, Norway (2015)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献