TY  - CONF

T1  - Temporal Team Semantics Revisited

JO  - Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

PY  - 2022/08/04

AU  - Gutsfeld JO

AU  - Meier A

AU  - Ohrem C

AU  - Virtema J

ED  - 

DO  - DOI: 10.1145/3531130.3533360

PB  - ACM

Y2  - 2024/12/22

ER  -