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  - 2024/12/22

ER  -