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, Sheffield, 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 - 2025/08/11
ER -