Publisher
Springer International Publishing
Reference18 articles.
1. Baumeister, J., Coenen, N., Bonakdarpour, B., Finkbeiner, B., Sánchez, C.: A temporal logic for asynchronous hyperproperties. CoRR abs/2104.14025 (2021)
2. Lecture Notes in Computer Science;MR Clarkson,2014
3. Clarkson, M.R., Schneider, F.B.: Hyperproperties. J. Comput. Secur. 18(6), 1157–1210 (2010)
4. Coenen, N., Finkbeiner, B., Hahn, C., Hofmann, J.: The hierarchy of hyperlogics. In: LICS 2019, pp. 1–13. IEEE (2019)
5. Finkbeiner, B., Zimmermann, M.: The first-order logic of hyperproperties. In: Vollmer, H., Vallée, B. (eds.) STACS 2017, LIPIcs, vol. 66, pp. 30:1–30:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献