Bin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang. Runtime Verification of Ethereum Smart Contracts Based on MSVL. In Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers. Volume 12723 of Lecture Notes in Computer Science, pages 142-153, Springer, 2020. [doi]
@inproceedings{YuLCLW20,
title = {Runtime Verification of Ethereum Smart Contracts Based on MSVL},
author = {Bin Yu and Xu Lu and Hao Chen and Ming Lei and Xiaobing Wang},
year = {2020},
doi = {10.1007/978-3-030-77474-5_10},
url = {https://doi.org/10.1007/978-3-030-77474-5_10},
researchr = {https://researchr.org/publication/YuLCLW20},
cites = {0},
citedby = {0},
pages = {142-153},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers},
editor = {Jinyun Xue and Fumiko Nagoya and Shaoying Liu and Zhenhua Duan},
volume = {12723},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-77474-5},
}