%0 Conference Paper %1 journals/entcs/BaierHKW06 %A Baier, Christel %A Hermanns, Holger %A Katoen, Joost-Pieter %A Wolf, Verena %B APC 25 %D 2005 %E Aceto, Luca %E Gordon, Andrew D. %I Elsevier %K dblp %P 73-78 %T Bisimulation and Simulation Relations for Markov Chains. %U http://dblp.uni-trier.de/db/journals/entcs/entcs162.html#BaierHKW06 %V 162

@inproceedings{journals/entcs/BaierHKW06, added-at = {2023-09-30T00:00:00.000+0200}, author = {Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Wolf, Verena}, biburl = {https://www.bibsonomy.org/bibtex/273d74d19354053c00f4bdaf0dce2c1d7/dblp}, booktitle = {APC 25}, crossref = {conf/apc25/2005}, editor = {Aceto, Luca and Gordon, Andrew D.}, ee = {https://www.wikidata.org/entity/Q57801770}, interhash = {9d80c1d5ce75406d463d08fa03212147}, intrahash = {73d74d19354053c00f4bdaf0dce2c1d7}, keywords = {dblp}, pages = {73-78}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T21:15:52.000+0200}, title = {Bisimulation and Simulation Relations for Markov Chains.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs162.html#BaierHKW06}, volume = 162, year = 2005 }