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/12/22 ER -