%0 Journal Article %1 journals/corr/abs-0903-2445 %A Chatterjee, Krishnendu %A de Alfaro, Luca %A Faella, Marco %A Legay, Axel %D 2009 %J Logical Methods in Computer Science %K dblp %N 2 %T Qualitative Logics and Equivalences for Probabilistic Systems %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-0903-2445 %V 5

@article{journals/corr/abs-0903-2445, added-at = {2018-08-13T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and de Alfaro, Luca and Faella, Marco and Legay, Axel}, biburl = {https://www.bibsonomy.org/bibtex/232c4597288135c5d8c873cf7dd8a25d3/dblp}, ee = {http://arxiv.org/abs/0903.2445}, interhash = {fb1f9504d67c8ba06c38297d5379344c}, intrahash = {32c4597288135c5d8c873cf7dd8a25d3}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 2, timestamp = {2018-08-14T12:30:18.000+0200}, title = {Qualitative Logics and Equivalences for Probabilistic Systems}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-0903-2445}, volume = 5, year = 2009 }