{"_id":"PcWuNdgBEwAp8i4Bd","bibbaseid":"baier-katoen-hermanns-wolf-comparativebranchingtimesemanticsformarkovchains-2003","author_short":["Baier, C.","Katoen, J.","Hermanns, H.","Wolf, V."],"bibdata":{"title":"Comparative Branching Time Semantics for Markov Chains","type":"inproceedings","year":"2003","pages":"492-508","volume":"2761","publisher":"Springer","series":"Lecture Notes in Computer Science","id":"09f9d30e-c665-3be1-8194-d2b9712d3bfe","created":"2016-02-15T08:58:39.000Z","file_attached":false,"profile_id":"bbb99b2d-2278-3254-820f-2de6d915ce63","last_modified":"2017-03-22T13:51:34.979Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"BKHW03","source_type":"inproceedings","private_publication":false,"bibtype":"inproceedings","author":"Baier, C and Katoen, J.-P. and Hermanns, H and Wolf, V","booktitle":"Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03)","bibtex":"@inproceedings{\n title = {Comparative Branching Time Semantics for Markov Chains},\n type = {inproceedings},\n year = {2003},\n pages = {492-508},\n volume = {2761},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n id = {09f9d30e-c665-3be1-8194-d2b9712d3bfe},\n created = {2016-02-15T08:58:39.000Z},\n file_attached = {false},\n profile_id = {bbb99b2d-2278-3254-820f-2de6d915ce63},\n last_modified = {2017-03-22T13:51:34.979Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {BKHW03},\n source_type = {inproceedings},\n private_publication = {false},\n bibtype = {inproceedings},\n author = {Baier, C and Katoen, J.-P. and Hermanns, H and Wolf, V},\n booktitle = {Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03)}\n}","author_short":["Baier, C.","Katoen, J.","Hermanns, H.","Wolf, V."],"biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibbaseid":"baier-katoen-hermanns-wolf-comparativebranchingtimesemanticsformarkovchains-2003","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","dataSources":["2252seNhipfTmjEBQ"],"keywords":[],"search_terms":["comparative","branching","time","semantics","markov","chains","baier","katoen","hermanns","wolf"],"title":"Comparative Branching Time Semantics for Markov Chains","year":2003}