%0 Journal Article %1 journals/iandc/Reynolds05 %A Reynolds, Mark %D 2005 %J Inf. Comput. %K dblp %N 1 %P 72-119 %T An axiomatization of PCTL*. %U http://dblp.uni-trier.de/db/journals/iandc/iandc201.html#Reynolds05 %V 201

@article{journals/iandc/Reynolds05, added-at = {2021-07-02T00:00:00.000+0200}, author = {Reynolds, Mark}, biburl = {https://www.bibsonomy.org/bibtex/2cc9068d004733c9474c23899b8aaf9a2/dblp}, ee = {https://doi.org/10.1016/j.ic.2005.03.005}, interhash = {5e18f4480a5dc048da861045a2b63108}, intrahash = {cc9068d004733c9474c23899b8aaf9a2}, journal = {Inf. Comput.}, keywords = {dblp}, number = 1, pages = {72-119}, timestamp = {2024-04-09T06:09:39.000+0200}, title = {An axiomatization of PCTL*.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc201.html#Reynolds05}, volume = 201, year = 2005 }