Author:
Gadducci Fabio,Laretto Andrea,Trotta Davide
Publisher
Springer Nature Switzerland
Reference48 articles.
1. Lecture Notes in Computer Science;P Baldan,2007
2. Belardinelli, F.: Quantified Modal Logic and the Ontology of Physical Objects. Ph.D. work, Scuola Normale Superiore of Pisa (2004–2005)
3. Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic, vol. 3. North Holland (2007)
4. Búr, M., Marussy, K., Meyer, B.H., Varró, D.: Worst-case execution time calculation for query-based monitors by witness generation. ACM Trans. Embed. Comput. Syst. 20(6), 1–36 (2021)
5. Lecture Notes in Computer Science;D Bustan,2005
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献