Pushplata Patel. 2019. “Model Checking and Runtime Verification of Decentralized Smart Contract Interactions”. International Journal of Communication and Computer Technologies 7 (2):38-41. https://eccsubmit.com/index.php/ijccts/article/view/165.