TY  - RPRT
TI  - Satisfiability and Model Checking of CTL* with Graded Path Modalities
AU  - Benjamin Aminof
AU  - Aniello Murano
AU  - Sasha Rubin
PY  - 2014
UR  - https://arxiv.org/abs/1410.7551
ID  - 1410.7551
ER  -