Runliu Wang

According to our database, Runliu Wang authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Formal Verification of Smart Contract Based on Timed Colored Petri Net.

Yaqiong He, Hanjie Dong, Runliu Wang, Huaiguang Wu

Proceedings of the 11th International Conference on Networks, Communication and Computing, 2022