@InProceedings{YZH+10,
author={H. Yang and L. Zhou and K. He and C. Deng and X. Zhao and Z. Qiu},
title={A probabilistic QoS model-checking for dynamic routing protocol},
booktitle={Proc. 10th International Conference on Quality Software},
year={2010},

editor={},
pages={441--448},
organization={},
publisher={IEEE},
series={},
volume={},
address={},
month={},
note={},
key={}
}