%0 Conference Paper %1 conf/qsic/YangZHDZQ10 %A Yang, Hongli %A Zhou, Liang %A He, Kang %A Deng, Chen %A Zhao, Xiangpeng %A Qiu, Zongyan %B QSIC %D 2010 %E Wang, Ji %E Chan, W. K. %E Kuo, Fei-Ching %I IEEE Computer Society %K dblp %P 441-448 %T A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. %U http://dblp.uni-trier.de/db/conf/qsic/qsic2010.html#YangZHDZQ10

@inproceedings{conf/qsic/YangZHDZQ10, added-at = {2017-05-24T00:00:00.000+0200}, author = {Yang, Hongli and Zhou, Liang and He, Kang and Deng, Chen and Zhao, Xiangpeng and Qiu, Zongyan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c4f81959bd1b98176cab9d02ec59aca3/dblp}, booktitle = {QSIC}, crossref = {conf/qsic/2010}, editor = {Wang, Ji and Chan, W. K. and Kuo, Fei-Ching}, ee = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2010.39}, interhash = {8177cc8de101b536c783e74f0f5dc6cb}, intrahash = {c4f81959bd1b98176cab9d02ec59aca3}, keywords = {dblp}, pages = {441-448}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T17:58:01.000+0200}, title = {A Probabilistic QoS Model-Checking for Dynamic Routing Protocol.}, url = {http://dblp.uni-trier.de/db/conf/qsic/qsic2010.html#YangZHDZQ10}, year = 2010 }