author : Bo Sun Conghua Zhou
1
publication
Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (2010) — Bo Sun Conghua Zhou, Liu Zhifeng Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (2010) — Bo Sun Conghua Zhou, Liu Zhifeng