TY  - CONF

T1  - A team based variant of CTL

JO  - Proceedings of the International Workshop on Temporal Representation and Reasoning

PY  - 2016/01/04

AU  - Krebs A

AU  - Meier A

AU  - Virtema J

ED  - 

DO  - DOI: 10.1109/TIME.2015.11

SN  - 9781467393171

VL  - 2016-January

SP  - 140

EP  - 149

Y2  - 2024/09/19

ER  -