@inBook{
 title = {Abstraction-Based Computation of Reward Measures for Markov Automata},
 type = {inBook},
 year = {2015},
 identifiers = {[object Object]},
 pages = {172-189},
 websites = {http://link.springer.com/10.1007/978-3-662-46081-8_10},
 id = {637e2ba7-1dd2-3017-b9a2-423bb9358588},
 created = {2015-07-05T19:38:40.000Z},
 file_attached = {false},
 profile_id = {4f325e21-a764-32ab-9623-e568e98285be},
 last_modified = {2017-03-25T21:52:16.230Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 private_publication = {false},
 bibtype = {inBook},
 author = {Braitling, Bettina and Ferrer Fioriti, Luis María and Hatefi, Hassan and Wimmer, Ralf and Becker, Bernd and Hermanns, Holger}
}

{"_id":"JvptrutrHuTQdYMK5","bibbaseid":"braitling-ferrerfioriti-hatefi-wimmer-becker-hermanns-abstractionbasedcomputationofrewardmeasuresformarkovautomata-2015","downloads":0,"creationDate":"2015-07-05T19:45:41.021Z","title":"Abstraction-Based Computation of Reward Measures for Markov Automata","author_short":["Braitling, B.","Ferrer Fioriti, L., M.","Hatefi, H.","Wimmer, R.","Becker, B.","Hermanns, H."],"year":2015,"bibtype":"inBook","biburl":null,"bibdata":{"title":"Abstraction-Based Computation of Reward Measures for Markov Automata","type":"inBook","year":"2015","identifiers":"[object Object]","pages":"172-189","websites":"http://link.springer.com/10.1007/978-3-662-46081-8_10","id":"637e2ba7-1dd2-3017-b9a2-423bb9358588","created":"2015-07-05T19:38:40.000Z","file_attached":false,"profile_id":"4f325e21-a764-32ab-9623-e568e98285be","last_modified":"2017-03-25T21:52:16.230Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"private_publication":false,"bibtype":"inBook","author":"Braitling, Bettina and Ferrer Fioriti, Luis María and Hatefi, Hassan and Wimmer, Ralf and Becker, Bernd and Hermanns, Holger","bibtex":"@inBook{\n title = {Abstraction-Based Computation of Reward Measures for Markov Automata},\n type = {inBook},\n year = {2015},\n identifiers = {[object Object]},\n pages = {172-189},\n websites = {http://link.springer.com/10.1007/978-3-662-46081-8_10},\n id = {637e2ba7-1dd2-3017-b9a2-423bb9358588},\n created = {2015-07-05T19:38:40.000Z},\n file_attached = {false},\n profile_id = {4f325e21-a764-32ab-9623-e568e98285be},\n last_modified = {2017-03-25T21:52:16.230Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n private_publication = {false},\n bibtype = {inBook},\n author = {Braitling, Bettina and Ferrer Fioriti, Luis María and Hatefi, Hassan and Wimmer, Ralf and Becker, Bernd and Hermanns, Holger}\n}","author_short":["Braitling, B.","Ferrer Fioriti, L., M.","Hatefi, H.","Wimmer, R.","Becker, B.","Hermanns, H."],"urls":{"Website":"http://link.springer.com/10.1007/978-3-662-46081-8_10"},"bibbaseid":"braitling-ferrerfioriti-hatefi-wimmer-becker-hermanns-abstractionbasedcomputationofrewardmeasuresformarkovautomata-2015","role":"author","downloads":0},"search_terms":["abstraction","based","computation","reward","measures","markov","automata","braitling","ferrer fioriti","hatefi","wimmer","becker","hermanns"],"keywords":[],"authorIDs":[]}