%0 Conference Paper %1 conf/concur/TangB18 %A Tang, Qiyi %A van Breugel, Franck %B CONCUR %D 2018 %E Schewe, Sven %E Zhang, Lijun %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 9:1-9:17 %T Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata. %U http://dblp.uni-trier.de/db/conf/concur/concur2018.html#TangB18 %V 118 %@ 978-3-95977-087-3

@inproceedings{conf/concur/TangB18, added-at = {2020-02-25T00:00:00.000+0100}, author = {Tang, Qiyi and van Breugel, Franck}, biburl = {https://www.bibsonomy.org/bibtex/2f26fb969b4092ace9cf808c6fcda75e9/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2018}, editor = {Schewe, Sven and Zhang, Lijun}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.9}, interhash = {61c3f28f1f71abe3fb817b7c38ba664b}, intrahash = {f26fb969b4092ace9cf808c6fcda75e9}, isbn = {978-3-95977-087-3}, keywords = {dblp}, pages = {9:1-9:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-26T11:57:41.000+0100}, title = {Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2018.html#TangB18}, volume = 118, year = 2018 }