%0 Conference Paper %1 conf/dsn/YangKLLW18 %A Yang, Xiaoxiao %A Katoen, Joost-Pieter %A Lin, Huimin %A Liu, Gaoang %A Wu, Hao %B DSN %D 2018 %I IEEE Computer Society %K dblp %P 267-278 %T Branching Bisimulation and Concurrent Object Verification. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2018.html#YangKLLW18 %@ 978-1-5386-5596-2

@inproceedings{conf/dsn/YangKLLW18, added-at = {2018-08-03T00:00:00.000+0200}, author = {Yang, Xiaoxiao and Katoen, Joost-Pieter and Lin, Huimin and Liu, Gaoang and Wu, Hao}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/227eaef0323932156c6d5c10e4f422e6d/dblp}, booktitle = {DSN}, crossref = {conf/dsn/2018}, ee = {http://doi.ieeecomputersociety.org/10.1109/DSN.2018.00037}, interhash = {a8ec440d2422230413366c70c8a3b7ca}, intrahash = {27eaef0323932156c6d5c10e4f422e6d}, isbn = {978-1-5386-5596-2}, keywords = {dblp}, pages = {267-278}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T12:43:44.000+0200}, title = {Branching Bisimulation and Concurrent Object Verification.}, url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2018.html#YangKLLW18}, year = 2018 }