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

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

[IEEE Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - Torino, Italy (2005.09.19-2005.09.22)] Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - Comparative analysis of bisimulation relations on alternating and non-alternating probabilistic models

[IEEE Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - Torino, Italy (2005.09.19-2005.09.22)] Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - Comparative analysis of bisimulation relations on alternating and non-alternating probabilistic models

Segala, R.; Turrini, A.

作者Segala, R.; Turrini, A.
文件大小335.70KB
发表时间2005
DOI10.1109/qest.2005.9
页码44-53

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