%0 Conference Paper %1 conf/tacas/QinDD20 %A Qin, Xudong %A Deng, Yuxin %A Du, Wenjie %B TACAS (2) %D 2020 %E Biere, Armin %E Parker, David %I Springer %K dblp %P 21-38 %T Verifying Quantum Communication Protocols with Ground Bisimulation. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2020-2.html#QinDD20 %V 12079 %@ 978-3-030-45237-7

@inproceedings{conf/tacas/QinDD20, added-at = {2021-05-14T00:00:00.000+0200}, author = {Qin, Xudong and Deng, Yuxin and Du, Wenjie}, biburl = {https://www.bibsonomy.org/bibtex/214d6045275b44483c4ec2bca431bbca8/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2020-2}, editor = {Biere, Armin and Parker, David}, ee = {https://doi.org/10.1007/978-3-030-45237-7_2}, interhash = {d246496b3e70a473a8bc06202458afc0}, intrahash = {14d6045275b44483c4ec2bca431bbca8}, isbn = {978-3-030-45237-7}, keywords = {dblp}, pages = {21-38}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:35.000+0200}, title = {Verifying Quantum Communication Protocols with Ground Bisimulation.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2020-2.html#QinDD20}, volume = 12079, year = 2020 }