%0 Journal Article %1 journals/eceasst/HatefiH12 %A Hatefi, Hassan %A Hermanns, Holger %D 2012 %J ECEASST %K dblp %T Model Checking Algorithms for Markov Automata. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst53.html#HatefiH12 %V 53

@article{journals/eceasst/HatefiH12, added-at = {2019-05-22T00:00:00.000+0200}, author = {Hatefi, Hassan and Hermanns, Holger}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/222c32a6e50da6f047f5c91d8b2a6fc8f/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.53.783}, interhash = {4ee0c2ef971fbb993a06f07715186b75}, intrahash = {22c32a6e50da6f047f5c91d8b2a6fc8f}, journal = {ECEASST}, keywords = {dblp}, timestamp = {2019-09-27T08:45:27.000+0200}, title = {Model Checking Algorithms for Markov Automata.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst53.html#HatefiH12}, volume = 53, year = 2012 }