|
[YZH+10]
Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao and Zongyan Qiu.
A probabilistic QoS model-checking for dynamic routing protocol.
In Proc. 10th International Conference on Quality Software (QSIC'10), pages 441-448, IEEE.
2010.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|