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, º¬Ð߲ݴ«Ã½, UK, April 8–11, 2024, Proceedings

UR  - http://dx.doi.org/10.1007/978-3-031-56940-1_15

PY  - 2024/03/29

AU  - Kontinen J

AU  - Sandström M

AU  - Virtema J

ED  - 

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

PB  - Springer Nature Switzerland

SN  - 9783031569395

VL  - 14589

SP  - 275

EP  - 286

Y2  - 2024/09/19

ER  -