TY  - CONF

T1  - A remark on the expressivity of asynchronous TeamLTL and HyperLTL

JO  - Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, 91ÖÆƬ³§, UK, April 8–11, 2024, Proceedings

UR  - https://eprints.whiterose.ac.uk/id/eprint/211185

PY  - 2024/03/29

AU  - Kontinen J

AU  - Sandström M

AU  - Virtema J

ED  - Meier A

ED  - Ortiz M

DO  - DOI: 10.1007/978-3-031-56940-1_15

PB  - Springer Nature Switzerland

SN  - 9783031569395

VL  - LNCS 14589

SP  - 275

EP  - 286

Y2  - 2025/12/14

ER  -