%0 Journal Article %1 journals/cuza/DuDG22 %A Du, Wenjie %A Deng, Yuxin %A Gebler, Daniel %D 2022 %J Sci. Ann. Comput. Sci. %K dblp %N 2 %P 211-254 %T Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. %U http://dblp.uni-trier.de/db/journals/cuza/cuza32.html#DuDG22 %V 32

@article{journals/cuza/DuDG22, added-at = {2022-12-25T00:00:00.000+0100}, author = {Du, Wenjie and Deng, Yuxin and Gebler, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2b081f735fbc569faad14abbcdc8dfba2/dblp}, ee = {https://doi.org/10.7561/SACS.2022.2.211}, interhash = {48945e79f6caf5bd55191ebfb838d7f5}, intrahash = {b081f735fbc569faad14abbcdc8dfba2}, journal = {Sci. Ann. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {211-254}, timestamp = {2024-04-09T02:33:16.000+0200}, title = {Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.}, url = {http://dblp.uni-trier.de/db/journals/cuza/cuza32.html#DuDG22}, volume = 32, year = 2022 }