%0 Journal Article %1 journals/tcs/AndovaGT12 %A Andova, Suzana %A Georgievska, Sonja %A Trcka, Nikola %D 2012 %J Theor. Comput. Sci. %K dblp %N 1 %P 58-72 %T Branching bisimulation congruence for probabilistic systems. %U http://dblp.uni-trier.de/db/journals/tcs/tcs413.html#AndovaGT12 %V 413

@article{journals/tcs/AndovaGT12, added-at = {2021-02-17T00:00:00.000+0100}, author = {Andova, Suzana and Georgievska, Sonja and Trcka, Nikola}, biburl = {https://www.bibsonomy.org/bibtex/2a92d6afde987132f81cd4705f2bd6b39/dblp}, ee = {https://doi.org/10.1016/j.tcs.2011.07.020}, interhash = {eaf73145ccb43f4b38f4a0bf51b4def6}, intrahash = {a92d6afde987132f81cd4705f2bd6b39}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {58-72}, timestamp = {2024-04-08T18:50:28.000+0200}, title = {Branching bisimulation congruence for probabilistic systems.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs413.html#AndovaGT12}, volume = 413, year = 2012 }