%0 Conference Paper %1 conf/trustcom/GuoWYHW16 %A Guo, Zonghao %A Wei, Ou %A Yu, Peng %A Han, Lansheng %A Wu, Weiming %B Trustcom/BigDataSE/ISPA %D 2016 %I IEEE %K dblp %P 354-361 %T Model Checking Probabilistic Network Propagation Protection Strategies. %U http://dblp.uni-trier.de/db/conf/trustcom/trustcom2016.html#GuoWYHW16 %@ 978-1-5090-3205-1

@inproceedings{conf/trustcom/GuoWYHW16, added-at = {2017-02-15T00:00:00.000+0100}, author = {Guo, Zonghao and Wei, Ou and Yu, Peng and Han, Lansheng and Wu, Weiming}, biburl = {https://www.bibsonomy.org/bibtex/2a552ce9fc84a824f4eeb0320ed1f5fcf/dblp}, booktitle = {Trustcom/BigDataSE/ISPA}, crossref = {conf/trustcom/2016}, ee = {http://dx.doi.org/10.1109/TrustCom.2016.0084}, interhash = {6234a12924d3be4b0c4499c38b4d9847}, intrahash = {a552ce9fc84a824f4eeb0320ed1f5fcf}, isbn = {978-1-5090-3205-1}, keywords = {dblp}, pages = {354-361}, publisher = {IEEE}, timestamp = {2017-02-16T11:35:22.000+0100}, title = {Model Checking Probabilistic Network Propagation Protection Strategies.}, url = {http://dblp.uni-trier.de/db/conf/trustcom/trustcom2016.html#GuoWYHW16}, year = 2016 }