TY  - RPRT
TI  - On the Hybrid Extension of CTL and CTL+
AU  - Ahmet Kara
AU  - Martin Lange
AU  - Thomas Schwentick
AU  - Volker Weber
PY  - 2009
DO  - 10.1007/978-3-642-03816-7_37
UR  - https://arxiv.org/abs/0906.2541
ID  - 0906.2541
ER  -