%0 Conference Paper %1 journals/entcs/TrckaG08 %A Trcka, Nikola %A Georgievska, Sonja %B QAPL %D 2008 %E Aldini, Alessandro %E Baier, Christel %I Elsevier %K dblp %N 3 %P 129-143 %T Branching Bisimulation Congruence for Probabilistic Systems. %U http://dblp.uni-trier.de/db/conf/qapl/qapl2008.html#TrckaG08 %V 220

@inproceedings{journals/entcs/TrckaG08, added-at = {2023-01-20T00:00:00.000+0100}, author = {Trcka, Nikola and Georgievska, Sonja}, biburl = {https://www.bibsonomy.org/bibtex/256fc98577f6051d64e2c21e680386aca/dblp}, booktitle = {QAPL}, crossref = {conf/qapl/2008}, editor = {Aldini, Alessandro and Baier, Christel}, ee = {https://doi.org/10.1016/j.entcs.2008.11.023}, interhash = {6d29cdf9d02db7d8d3a2acbe59bd79c9}, intrahash = {56fc98577f6051d64e2c21e680386aca}, keywords = {dblp}, number = 3, pages = {129-143}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T11:26:01.000+0200}, title = {Branching Bisimulation Congruence for Probabilistic Systems.}, url = {http://dblp.uni-trier.de/db/conf/qapl/qapl2008.html#TrckaG08}, volume = 220, year = 2008 }