TY  - GEN

T1  - Linear-time Temporal Logic with Team Semantics: Expressivity and
  Complexity

PY  - 2020/10/07

AU  - Virtema J

AU  - Hofmann J

AU  - Finkbeiner B

AU  - Kontinen J

AU  - Yang F

ED  - 

Y2  - 2024/12/22

ER  -