TY  - CONF

T1  - A Team Based Variant of CTL

JO  - 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME)

UR  - https://doi.org/10.1109/time.2015.11

PY  - 2016/01/04

AU  - Krebs A

AU  - Meier A

AU  - Virtema J

ED  - 

DO  - DOI: 10.1109/time.2015.11

PB  - IEEE

SP  - 140

EP  - 149

Y2  - 2026/01/07

ER  -