TY  - RPRT
TI  - Model-checking Counting Temporal Logics on Flat Structures
AU  - Normann Decker
AU  - Peter Habermehl
AU  - Martin Leucker
AU  - Arnaud Sangnier
AU  - Daniel Thoma
PY  - 2017
UR  - https://arxiv.org/abs/1706.08608
ID  - 1706.08608
ER  -