%0 Conference Paper %1 conf/icnp/WeiZZZ23 %A Wei, Qiuyang %A Zhao, Xufeng %A Zhu, Xue-Yang %A Zhang, Wenhui %B ICNP %D 2023 %I IEEE %K dblp %P 1-11 %T Formal Analysis of IBC Protocol. %U http://dblp.uni-trier.de/db/conf/icnp/icnp2023.html#WeiZZZ23 %@ 979-8-3503-0322-3

@inproceedings{conf/icnp/WeiZZZ23, added-at = {2024-01-09T00:00:00.000+0100}, author = {Wei, Qiuyang and Zhao, Xufeng and Zhu, Xue-Yang and Zhang, Wenhui}, biburl = {https://www.bibsonomy.org/bibtex/298433225b87ea9de46587d0676b184bf/dblp}, booktitle = {ICNP}, crossref = {conf/icnp/2023}, ee = {https://doi.org/10.1109/ICNP59255.2023.10355573}, interhash = {ed74e653f345a1e0de62ff51be7666d2}, intrahash = {98433225b87ea9de46587d0676b184bf}, isbn = {979-8-3503-0322-3}, keywords = {dblp}, pages = {1-11}, publisher = {IEEE}, timestamp = {2024-04-09T21:56:33.000+0200}, title = {Formal Analysis of IBC Protocol.}, url = {http://dblp.uni-trier.de/db/conf/icnp/icnp2023.html#WeiZZZ23}, year = 2023 }