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

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

Model Checking Markov Chains with Actions and State Labels

Model Checking Markov Chains with Actions and State Labels

Baier, C.; Cloth, L.; Haverkort, B.R.; Kuntz, M.; Siegle, M.

作者Baier, C.; Cloth, L.; Haverkort, B.R.; Kuntz, M.; Siegle, M.
卷第33卷
期第4期
印刷ISSN0098-5589
文件大小2141.16KB
发表时间2007
DOI10.1109/tse.2007.36

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