发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

A new model for model checking: cycle-weighted Kripke structure

A new model for model checking: cycle-weighted Kripke structure

Jiaqi Zhu; Hanpin Wang; Zhongyuan Xu; Chunxiang Xu

作者Jiaqi Zhu; Hanpin Wang; Zhongyuan Xu; Chunxiang Xu
卷第4卷
期第1期
印刷ISSN1673-7350
电子ISSN1673-7466
文件大小169.95KB
发表时间2010-03
DOI10.1007/s11704-009-0066-7
页码78-88

← 返回【学霸图书馆】主页