@article{ dblp4287724,
  title = {A Decomposition Theorem for Probabilistic Transition Systems},
  author = {Oded Maler},
  author_short = {Maler, O.},
  bibtype = {article},
  type = {article},
  year = {1995},
  key = {dblp4287724},
  id = {dblp4287724},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/Maler95},
  url = {http://dx.doi.org/10.1016/0304-3975(95)00004-G},
  journal = {Theor. Comput. Sci. (TCS)},
  pages = {391-396},
  number = {1&2},
  volume = {145},
  text = {Theor. Comput. Sci. (TCS) 145(1&2):391-396 (1995)}
}

{"_id":"AWjBF4Zb5ovi5xmTu","bibbaseid":"maler-adecompositiontheoremforprobabilistictransitionsystems-1995","downloads":0,"creationDate":"2015-07-05T11:05:40.295Z","title":"A Decomposition Theorem for Probabilistic Transition Systems","author_short":["Maler, O."],"year":1995,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/Maler95","bibdata":{"title":"A Decomposition Theorem for Probabilistic Transition Systems","author":["Oded Maler"],"author_short":["Maler, O."],"bibtype":"article","type":"article","year":"1995","key":"dblp4287724","id":"dblp4287724","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/Maler95","url":"http://dx.doi.org/10.1016/0304-3975(95)00004-G","journal":"Theor. Comput. Sci. (TCS)","pages":"391-396","number":"1&2","volume":"145","text":"Theor. Comput. Sci. (TCS) 145(1&2):391-396 (1995)","bibtex":"@article{ dblp4287724,\n title = {A Decomposition Theorem for Probabilistic Transition Systems},\n author = {Oded Maler},\n author_short = {Maler, O.},\n bibtype = {article},\n type = {article},\n year = {1995},\n key = {dblp4287724},\n id = {dblp4287724},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/Maler95},\n url = {http://dx.doi.org/10.1016/0304-3975(95)00004-G},\n journal = {Theor. Comput. Sci. (TCS)},\n pages = {391-396},\n number = {1&2},\n volume = {145},\n text = {Theor. Comput. Sci. (TCS) 145(1&2):391-396 (1995)}\n}","bibbaseid":"maler-adecompositiontheoremforprobabilistictransitionsystems-1995","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/0304-3975(95)00004-G"},"downloads":0},"search_terms":["decomposition","theorem","probabilistic","transition","systems","maler"],"keywords":[],"authorIDs":[],"dataSources":["RoEET39qAirMkZ7nE"]}