Temporal Logic of Stochastic Actions for Verification of Probabilistic Systems
Temporal Logic of Stochastic Actions for Verification of Probabilistic Systems
下载地址
用户评论
