%0 Journal Article %1 journals/cma/KwiatkowskaNP06 %A Kwiatkowska, Marta Z. %A Norman, Gethin %A Pacheco, António %D 2006 %J Comput. Math. Appl. %K dblp %N 2 %P 305-316 %T Model checking expected time and expected reward formulae with random time bounds. %U http://dblp.uni-trier.de/db/journals/cma/cma51.html#KwiatkowskaNP06 %V 51

@article{journals/cma/KwiatkowskaNP06, added-at = {2023-06-20T00:00:00.000+0200}, author = {Kwiatkowska, Marta Z. and Norman, Gethin and Pacheco, António}, biburl = {https://www.bibsonomy.org/bibtex/258653795873ed5b415c567a3de6b9083/dblp}, ee = {https://www.wikidata.org/entity/Q59323919}, interhash = {b9be65563e13a595fd3f16a9903b2e62}, intrahash = {58653795873ed5b415c567a3de6b9083}, journal = {Comput. Math. Appl.}, keywords = {dblp}, number = 2, pages = {305-316}, timestamp = {2024-04-08T18:16:21.000+0200}, title = {Model checking expected time and expected reward formulae with random time bounds.}, url = {http://dblp.uni-trier.de/db/journals/cma/cma51.html#KwiatkowskaNP06}, volume = 51, year = 2006 }