TY - CPAPER AU - Lomuscio,A AU - Raimondi,F EP - 550 PB - ACM PY - 2006/// SP - 548 TI - The complexity of model checking concurrent programs against CTLK specifications. UR - http://www.informatik.uni-trier.de/~ley/db/conf/atal/aamas2006.html ER -