%0 Conference Paper %1 conf/concur/TangB16 %A Tang, Qiyi %A van Breugel, Franck %B CONCUR %D 2016 %E Desharnais, Josée %E Jagadeesan, Radha %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 22:1-22:15 %T Computing Probabilistic Bisimilarity Distances via Policy Iteration. %U http://dblp.uni-trier.de/db/conf/concur/concur2016.html#TangB16 %V 59 %@ 978-3-95977-017-0

@inproceedings{conf/concur/TangB16, added-at = {2020-02-25T00:00:00.000+0100}, author = {Tang, Qiyi and van Breugel, Franck}, biburl = {https://www.bibsonomy.org/bibtex/28607963c5b0899fb94e65d66e339f86d/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2016}, editor = {Desharnais, Josée and Jagadeesan, Radha}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.22}, interhash = {c67ccb2abd851d7a1861d4a474f9705a}, intrahash = {8607963c5b0899fb94e65d66e339f86d}, isbn = {978-3-95977-017-0}, keywords = {dblp}, pages = {22:1-22:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-26T11:57:41.000+0100}, title = {Computing Probabilistic Bisimilarity Distances via Policy Iteration.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2016.html#TangB16}, volume = 59, year = 2016 }