TY - CONF
T1 - Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity
JO - 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28-September 1, 2023, Bordeaux, France
PY - 2023/07/27
AU - Kontinen J
AU - Sandstr枚m M
AU - Virtema J
ED -
Y2 - 2025/05/24
ER -