%0 Journal Article %1 journals/lmcs/ChatterjeeHO19 %A Chatterjee, Krishnendu %A Henzinger, Thomas A. %A Otop, Jan %D 2019 %J Logical Methods in Computer Science %K dblp %N 3 %T Quantitative Automata under Probabilistic Semantics. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs15.html#ChatterjeeHO19 %V 15

@article{journals/lmcs/ChatterjeeHO19, added-at = {2020-01-15T00:00:00.000+0100}, author = {Chatterjee, Krishnendu and Henzinger, Thomas A. and Otop, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2c239f95df8bebeae2507febb815939e8/dblp}, ee = {https://doi.org/10.23638/LMCS-15(3:16)2019}, interhash = {248b2c7dd2f3b901cdbeafc175077cfe}, intrahash = {c239f95df8bebeae2507febb815939e8}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 3, timestamp = {2020-01-16T11:42:12.000+0100}, title = {Quantitative Automata under Probabilistic Semantics.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs15.html#ChatterjeeHO19}, volume = 15, year = 2019 }