TY  - RPRT
TI  - A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
AU  - Takashi Tomita
AU  - Shigeki Hagihara
AU  - Naoki Yonezaki
PY  - 2011
DO  - 10.4204/eptcs.73.9
UR  - https://arxiv.org/abs/1111.3111
ID  - 1111.3111
ER  -