%0 Conference Paper %1 conf/fossacs/LiuYZ18 %A Liu, Xinxin %A Yu, Tingting %A Zhang, Wenhui %B FoSSaCS %D 2018 %E Baier, Christel %E Lago, Ugo Dal %I Springer %K dblp %P 221-237 %T Logics for Bisimulation and Divergence. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2018.html#LiuYZ18 %V 10803 %@ 978-3-319-89366-2

@inproceedings{conf/fossacs/LiuYZ18, added-at = {2020-03-06T00:00:00.000+0100}, author = {Liu, Xinxin and Yu, Tingting and Zhang, Wenhui}, biburl = {https://www.bibsonomy.org/bibtex/2553f8633db5b492004769bf43f579a9c/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2018}, editor = {Baier, Christel and Lago, Ugo Dal}, ee = {https://doi.org/10.1007/978-3-319-89366-2_12}, interhash = {61ed07d75cf68d1473e5255c686b641f}, intrahash = {553f8633db5b492004769bf43f579a9c}, isbn = {978-3-319-89366-2}, keywords = {dblp}, pages = {221-237}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-07T11:56:13.000+0100}, title = {Logics for Bisimulation and Divergence.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2018.html#LiuYZ18}, volume = 10803, year = 2018 }