%0 Conference Paper %1 conf/cav/TangB18 %A Tang, Qiyi %A van Breugel, Franck %B CAV (1) %D 2018 %E Chockler, Hana %E Weissenbacher, Georg %I Springer %K dblp %P 681-699 %T Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains. %U http://dblp.uni-trier.de/db/conf/cav/cav2018-1.html#TangB18 %V 10981 %@ 978-3-319-96145-3

@inproceedings{conf/cav/TangB18, added-at = {2020-02-25T00:00:00.000+0100}, author = {Tang, Qiyi and van Breugel, Franck}, biburl = {https://www.bibsonomy.org/bibtex/2eba5c13714114dc00852447c25345d18/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2018-1}, editor = {Chockler, Hana and Weissenbacher, Georg}, ee = {https://doi.org/10.1007/978-3-319-96145-3_39}, interhash = {f1a86e45b738fe4793169af8855b3a0b}, intrahash = {eba5c13714114dc00852447c25345d18}, isbn = {978-3-319-96145-3}, keywords = {dblp}, pages = {681-699}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:26.000+0200}, title = {Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2018-1.html#TangB18}, volume = 10981, year = 2018 }