Author:
Amrane Amazigh,Bazille Hugo,Clement Emily,Fahrenberg Uli
Publisher
Springer Nature Switzerland
Reference52 articles.
1. Aceto, L., Ingólfsdóttir, A., Larsen, K.G., Srba, J.: Reactive Systems. Cambridge University Press, Cambridge (2007)
2. Lecture Notes in Computer Science;R Alur,1990
3. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)
4. Amrane, A., Bazille, H., Clement, E., Fahrenberg, U.: Languages of higher-dimensional timed automata. CoRR, abs/2401.17444 (2024)
5. Lecture Notes in Computer Science;A Amrane,2023
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献