%0 Conference Paper %1 conf/tase/BaoZZSSZ22 %A Bao, Yulong %A Zhu, Xue-Yang %A Zhang, Wenhui %A Shen, Wuwei %A Sun, Pengfei %A Zhao, Yingqi %B TASE %D 2022 %E Ameur, Yamine Aït %E Craciun, Florin %I Springer %K dblp %P 92-112 %T On Verification of Smart Contracts via Model Checking. %U http://dblp.uni-trier.de/db/conf/tase/tase2022.html#BaoZZSSZ22 %V 13299 %@ 978-3-031-10363-6

@inproceedings{conf/tase/BaoZZSSZ22, added-at = {2022-07-07T00:00:00.000+0200}, author = {Bao, Yulong and Zhu, Xue-Yang and Zhang, Wenhui and Shen, Wuwei and Sun, Pengfei and Zhao, Yingqi}, biburl = {https://www.bibsonomy.org/bibtex/259949c28169bf6cbc0117253782a4176/dblp}, booktitle = {TASE}, crossref = {conf/tase/2022}, editor = {Ameur, Yamine Aït and Craciun, Florin}, ee = {https://doi.org/10.1007/978-3-031-10363-6_7}, interhash = {2ffb064cb25d8064784c450d4a9276f5}, intrahash = {59949c28169bf6cbc0117253782a4176}, isbn = {978-3-031-10363-6}, keywords = {dblp}, pages = {92-112}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:48:28.000+0200}, title = {On Verification of Smart Contracts via Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2022.html#BaoZZSSZ22}, volume = 13299, year = 2022 }