%0 Conference Paper %1 conf/icnc/QiaoWG08 %A Qiao, Rui %A Wu, Jinzhao %A Gao, Xinyan %B ICNC (3) %D 2008 %E Guo, Maozu %E Zhao, Liang %E Wang, Lipo %I IEEE Computer Society %K dblp %P 652-661 %T Probabilistic Modal Kleene Algebra and Hoare-Style Logic. %U http://dblp.uni-trier.de/db/conf/icnc/icnc2008-3.html#QiaoWG08

@inproceedings{conf/icnc/QiaoWG08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Qiao, Rui and Wu, Jinzhao and Gao, Xinyan}, biburl = {https://www.bibsonomy.org/bibtex/2c08944a7be7b9e94d2224ad3975fda17/dblp}, booktitle = {ICNC (3)}, crossref = {conf/icnc/2008-3}, editor = {Guo, Maozu and Zhao, Liang and Wang, Lipo}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICNC.2008.174}, interhash = {5b54c082b200887dcc6d0c86a35faf80}, intrahash = {c08944a7be7b9e94d2224ad3975fda17}, keywords = {dblp}, pages = {652-661}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T18:49:57.000+0200}, title = {Probabilistic Modal Kleene Algebra and Hoare-Style Logic.}, url = {http://dblp.uni-trier.de/db/conf/icnc/icnc2008-3.html#QiaoWG08}, year = 2008 }