Publisher
Springer Nature Switzerland
Reference50 articles.
1. Aiello, M.: Spatial reasoning: theory and practice. Ph.D. thesis, Institute of Logic, Language and Computation, University of Amsterdam (2002)
2. Aiello, M.: The topo-approach to spatial representation and reasoning. AIIA NOTIZIE (4) (2003)
3. Alur, R.: Formal verification of hybrid systems. In: Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, 9–14 October 2011, pp. 273–278. ACM (2011). https://doi.org/10.1145/2038642.2038685
4. Lecture Notes in Computer Science;R Alur,2019
5. Audrito, G., Casadei, R., Damiani, F., Stolz, V., Viroli, M.: Adaptive distributed monitors of spatial properties for cyber-physical systems. J. Syst. Softw. 175, 110908 (2021). https://doi.org/10.1016/j.jss.2021.110908
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献