%0 Conference Paper %1 conf/sycss/KubotaKKKS13 %A Kubota, Takahiro %A Kakutani, Yoshihiko %A Kato, Go %A Kawano, Yasuhito %A Sakurada, Hideki %B SCSS %D 2013 %E Kovács, Laura %E Kutsia, Temur %I EasyChair %K dblp %P 64-69 %T Automated Verification of Equivalence on Quantum Cryptographic Protocols. %U http://dblp.uni-trier.de/db/conf/sycss/scss2013.html#KubotaKKKS13 %V 15

@inproceedings{conf/sycss/KubotaKKKS13, added-at = {2021-08-15T00:00:00.000+0200}, author = {Kubota, Takahiro and Kakutani, Yoshihiko and Kato, Go and Kawano, Yasuhito and Sakurada, Hideki}, biburl = {https://www.bibsonomy.org/bibtex/2cc1b46c320c1542cc7f4c85fe2275b51/dblp}, booktitle = {SCSS}, crossref = {conf/sycss/2013}, editor = {Kovács, Laura and Kutsia, Temur}, ee = {https://doi.org/10.29007/95pj}, interhash = {67da35ad73c89796ea122d0f353163ad}, intrahash = {cc1b46c320c1542cc7f4c85fe2275b51}, keywords = {dblp}, pages = {64-69}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T14:07:13.000+0200}, title = {Automated Verification of Equivalence on Quantum Cryptographic Protocols.}, url = {http://dblp.uni-trier.de/db/conf/sycss/scss2013.html#KubotaKKKS13}, volume = 15, year = 2013 }