TY  - RPRT
TI  - Computation Tree Logic with Deadlock Detection
AU  - Rob van Glabbeek
AU  - Bas Luttik
AU  - Nikola Trcka
PY  - 2009
DO  - 10.2168/lmcs-5(4:5)2009
UR  - https://arxiv.org/abs/0912.2109
ID  - 0912.2109
ER  -