Pushplata Patel. “Model Checking and Runtime Verification of Decentralized Smart Contract Interactions”. International Journal of communication and computer Technologies 7, no. 2 (December 22, 2019): 38–41. Accessed January 8, 2026. https://ijccts.org/index.php/pub/article/view/281.