%0 Journal Article %1 journals/siglog/Panangaden15 %A Panangaden, Prakash %D 2015 %J ACM SIGLOG News %K dblp %N 3 %P 72-84 %T Probabilistic bisimulation. %U http://dblp.uni-trier.de/db/journals/siglog/siglog2.html#Panangaden15 %V 2

@article{journals/siglog/Panangaden15, added-at = {2022-06-10T00:00:00.000+0200}, author = {Panangaden, Prakash}, biburl = {https://www.bibsonomy.org/bibtex/28bbc5fe74934aace2e0e353f1c4a47e6/dblp}, ee = {https://doi.org/10.1145/2815493.2815501}, interhash = {0dfcee2aa2817d6bfe09bacb21789620}, intrahash = {8bbc5fe74934aace2e0e353f1c4a47e6}, journal = {ACM SIGLOG News}, keywords = {dblp}, number = 3, pages = {72-84}, timestamp = {2024-04-08T09:55:12.000+0200}, title = {Probabilistic bisimulation.}, url = {http://dblp.uni-trier.de/db/journals/siglog/siglog2.html#Panangaden15}, volume = 2, year = 2015 }