TY  - RPRT
TI  - Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version)
AU  - Aleksandar S. Dimovski
AU  - Axel Legay
AU  - Andrzej Wasowski
PY  - 2019
UR  - https://arxiv.org/abs/1902.05594
ID  - 1902.05594
ER  -