%0 Journal Article
%T 模型检测基于概率时间自动机的反例产生研究
%A 张君华  黄志球  曹子宁
%J -
%D 2008
%X 模型检测基于概率系统的反例产生问题，在最近引起人们的关注.已..
%K [模型检测
%K 反例
%K 基于概率时间自动机
%K 符号状态交集
%K 不确定性
%K model checking
%K counterexample
%K probabilistic timed automata
%K symbolic state intersection
%K non-determinism]
%U http://crad.ict.ac.cn/CN/Y2008/V45/I10/1638