{"_id":{"_str":"53bbbace823e1b37040000d0"},"__v":0,"authorIDs":["5457d87e2abc8e9f370007e5","54d6986996f9453b5f00073b"],"author_short":["Hatefi, H.","Hermanns, H."],"bibbaseid":"hatefi-hermanns-modelcheckingalgorithmsformarkovautomata-2012","bibdata":{"bibtype":"article","type":"article","title":"Model Checking Algorithms for Markov Automata","volume":"53","url":"http://journal.ub.tu-berlin.de/eceasst/article/view/783","urldate":"2015-07-07","journal":"ECEASST","author":[{"propositions":[],"lastnames":["Hatefi"],"firstnames":["Hassan"],"suffixes":[]},{"propositions":[],"lastnames":["Hermanns"],"firstnames":["Holger"],"suffixes":[]}],"year":"2012","bibtex":"@article{hatefi_model_2012,\n\ttitle = {Model {Checking} {Algorithms} for {Markov} {Automata}},\n\tvolume = {53},\n\turl = {http://journal.ub.tu-berlin.de/eceasst/article/view/783},\n\turldate = {2015-07-07},\n\tjournal = {ECEASST},\n\tauthor = {Hatefi, Hassan and Hermanns, Holger},\n\tyear = {2012},\n}\n\n","author_short":["Hatefi, H.","Hermanns, H."],"key":"hatefi_model_2012","id":"hatefi_model_2012","bibbaseid":"hatefi-hermanns-modelcheckingalgorithmsformarkovautomata-2012","role":"author","urls":{"Paper":"http://journal.ub.tu-berlin.de/eceasst/article/view/783"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://api.zotero.org/users/2539494/collections/QPKDCWZ2/items?key=GQZ7eSblSbBg8hlOjp5OpOAp&format=bibtex&limit=100","creationDate":"2014-07-08T09:33:02.263Z","downloads":0,"keywords":[],"search_terms":["model","checking","algorithms","markov","automata","hatefi","hermanns"],"title":"Model Checking Algorithms for Markov Automata","year":2012,"dataSources":["ypi2bjGvbv5c7j2pz"]}