%0 Journal Article %1 journals/cuza/TimmersG20 %A Timmers, Ferry %A Groote, Jan Friso %D 2020 %J Sci. Ann. Comput. Sci. %K dblp %N 1 %P 69-104 %T A Complete Axiomatisation for Probabilistic Trace Equivalence. %U http://dblp.uni-trier.de/db/journals/cuza/cuza30.html#TimmersG20 %V 30

@article{journals/cuza/TimmersG20, added-at = {2020-09-05T00:00:00.000+0200}, author = {Timmers, Ferry and Groote, Jan Friso}, biburl = {https://www.bibsonomy.org/bibtex/2419726b9a6d1fbc3182446def54bc64e/dblp}, ee = {https://doi.org/10.7561/SACS.2020.1.69}, interhash = {599b228c0443864d2a26bb231d9cda1c}, intrahash = {419726b9a6d1fbc3182446def54bc64e}, journal = {Sci. Ann. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {69-104}, timestamp = {2020-09-09T12:56:22.000+0200}, title = {A Complete Axiomatisation for Probabilistic Trace Equivalence.}, url = {http://dblp.uni-trier.de/db/journals/cuza/cuza30.html#TimmersG20}, volume = 30, year = 2020 }