%0 Conference Paper %1 conf/setta/DuDG16 %A Du, Wenjie %A Deng, Yuxin %A Gebler, Daniel %B SETTA %D 2016 %E Fränzle, Martin %E Kapur, Deepak %E Zhan, Naijun %K %P 67-84 %T Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. %U http://dblp.uni-trier.de/db/conf/setta/setta2016.html#DuDG16 %V 9984 %@ 978-3-319-47676-6

@inproceedings{conf/setta/DuDG16, added-at = {2023-12-13T04:28:44.000+0100}, author = {Du, Wenjie and Deng, Yuxin and Gebler, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2eb12806dc002885ea35ea1c8c75bce6d/admin}, booktitle = {SETTA}, crossref = {conf/setta/2016}, editor = {Fränzle, Martin and Kapur, Deepak and Zhan, Naijun}, ee = {https://doi.org/10.1007/978-3-319-47677-3_5}, interhash = {965b193e20dc039c72b560680857f764}, intrahash = {eb12806dc002885ea35ea1c8c75bce6d}, isbn = {978-3-319-47676-6}, keywords = {}, pages = {67-84}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:28:44.000+0100}, title = {Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2016.html#DuDG16}, volume = 9984, year = 2016 }