TY  - CONF

T1  - Linear-time temporal logic with team semantics: expressivity and complexity

JO  - 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)

UR  - https://eprints.whiterose.ac.uk/179352/

PY  - 2021/11/29

AU  - Virtema J

AU  - Hofmann J

AU  - Finkbeiner B

AU  - Kontinen J

AU  - Yang F

ED  - 

DO  - DOI: 10.4230/LIPIcs.FSTTCS.2021.52

PB  - Schloss Dagstuhl

SN  - 9783959772150

VL  - 213

Y2  - 2024/12/22

ER  -