{"_id":"5GrHBrZ8z7TmYcHYc","bibbaseid":"baier-hermanns-katoen-wolf-bisimulationandsimulationrelationsformarkovchains-2006","author_short":["Baier, C.","Hermanns, H.","Katoen, J.","Wolf, V."],"bibdata":{"title":"Bisimulation and Simulation Relations for Markov Chains","type":"inproceedings","year":"2006","pages":"73-78","volume":"162","publisher":"Elsevier","series":"Electronic Notes in Theoretical Computer Science","id":"7b3af4ac-d64a-3aac-b4c7-9d369c1ca00c","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":"BHKW06","source_type":"inproceedings","private_publication":false,"bibtype":"inproceedings","author":"Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Wolf, Verena","booktitle":"Proceedings of the Workshop Essays on Algebraic Process Calculi (ACP'06)","bibtex":"@inproceedings{\n title = {Bisimulation and Simulation Relations for Markov Chains},\n type = {inproceedings},\n year = {2006},\n pages = {73-78},\n volume = {162},\n publisher = {Elsevier},\n series = {Electronic Notes in Theoretical Computer Science},\n id = {7b3af4ac-d64a-3aac-b4c7-9d369c1ca00c},\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 = {BHKW06},\n source_type = {inproceedings},\n private_publication = {false},\n bibtype = {inproceedings},\n author = {Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Wolf, Verena},\n booktitle = {Proceedings of the Workshop Essays on Algebraic Process Calculi (ACP'06)}\n}","author_short":["Baier, C.","Hermanns, H.","Katoen, J.","Wolf, V."],"biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibbaseid":"baier-hermanns-katoen-wolf-bisimulationandsimulationrelationsformarkovchains-2006","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","dataSources":["5u2EFGtZ3pCiduxDD","dXRJbWa2wiNDJKxYE","qA8W3BSHDuk7cCNvk","2252seNhipfTmjEBQ"],"keywords":[],"search_terms":["bisimulation","simulation","relations","markov","chains","baier","hermanns","katoen","wolf"],"title":"Bisimulation and Simulation Relations for Markov Chains","year":2006}