TY  - RPRT
TI  - Extended Computation Tree Logic
AU  - Roland Axelsson
AU  - Matthew Hague
AU  - Stephan Kreutzer
AU  - Martin Lange
AU  - Markus Latte
PY  - 2010
DO  - 10.1007/978-3-642-16242-8_6
UR  - https://arxiv.org/abs/1006.3709
ID  - 1006.3709
ER  -