autore : Liu Zhifeng
1
pubblicazione
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