%0 Thesis %1 phd/basesearch/Zhao13a %A Zhao, Yang %D 2013 %K %T Bridging the Gap Between Logic and Probabilistic Model Checking.

@phdthesis{phd/basesearch/Zhao13a, added-at = {2023-12-13T08:30:46.000+0100}, author = {Zhao, Yang}, biburl = {https://www.bibsonomy.org/bibtex/281659b18b806217e28e588daf0deb549/admin}, ee = {https://www.base-search.net/Record/8abbccace9148b9b223316c1258b666e19b4d207f55dae1f35ecd1802a1c7462}, interhash = {c46b8292b7915771031324302555ef77}, intrahash = {81659b18b806217e28e588daf0deb549}, keywords = {}, note = {base-search.net (ftcdlib:qt5979985g)}, school = {University of California, Riverside, USA}, timestamp = {2023-12-13T08:30:46.000+0100}, title = {Bridging the Gap Between Logic and Probabilistic Model Checking.}, year = 2013 }