%0 Journal Article %1 journals/lmcs/EtessamiKVY08 %A Etessami, Kousha %A Kwiatkowska, Marta Z. %A Vardi, Moshe Y. %A Yannakakis, Mihalis %D 2008 %J Logical Methods in Computer Science %K dblp %N 4 %T Multi-Objective Model Checking of Markov Decision Processes. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs4.html#EtessamiKVY08 %V 4

@article{journals/lmcs/EtessamiKVY08, added-at = {2019-05-14T00:00:00.000+0200}, author = {Etessami, Kousha and Kwiatkowska, Marta Z. and Vardi, Moshe Y. and Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/289b6d79a40d2160938549c9c3d8f30b0/dblp}, ee = {https://doi.org/10.2168/LMCS-4(4:8)2008}, interhash = {e31fffc886804ec4fd315e58658d0a18}, intrahash = {89b6d79a40d2160938549c9c3d8f30b0}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 4, timestamp = {2019-05-15T11:51:26.000+0200}, title = {Multi-Objective Model Checking of Markov Decision Processes.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs4.html#EtessamiKVY08}, volume = 4, year = 2008 }