%0 Journal Article %1 journals/jacm/ChatterjeeHJ015 %A Chatterjee, Krishnendu %A Henzinger, Thomas A. %A Jobstmann, Barbara %A Singh, Rohit %D 2015 %J J. ACM %K dblp %N 1 %P 9:1-9:34 %T Measuring and Synthesizing Systems in Probabilistic Environments. %U http://dblp.uni-trier.de/db/journals/jacm/jacm62.html#ChatterjeeHJ015 %V 62

@article{journals/jacm/ChatterjeeHJ015, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chatterjee, Krishnendu and Henzinger, Thomas A. and Jobstmann, Barbara and Singh, Rohit}, biburl = {https://www.bibsonomy.org/bibtex/2df1717f4571f6dea76a39809482dc75c/dblp}, ee = {https://doi.org/10.1145/2699430}, interhash = {8a38e25ecede311ca05297c1cef11ec4}, intrahash = {df1717f4571f6dea76a39809482dc75c}, journal = {J. ACM}, keywords = {dblp}, number = 1, pages = {9:1-9:34}, timestamp = {2018-11-07T12:10:21.000+0100}, title = {Measuring and Synthesizing Systems in Probabilistic Environments.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm62.html#ChatterjeeHJ015}, volume = 62, year = 2015 }