TY  - CONF

T1  - Temporal team semantics revisited

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

UR  - https://eprints.whiterose.ac.uk/id/eprint/191422

PY  - 2022/08/04

AU  - Gutsfeld JO

AU  - Meier A

AU  - Ohrem C

AU  - Virtema J

ED  - 

DO  - DOI: 10.1145/3531130.3533360

PB  - Association for Computing Machinery

SN  - 9781450393515

Y2  - 2026/01/07

ER  -