Mohammad Saidur Rahman, Ibrahim Khalil, Abdelaziz Bouras. Formalizing Dynamic Behaviors of Smart Contract Workflow in Smart Healthcare Supply Chain. In Noseong Park, Kun Sun 0001, Sara Foresti, Kevin R. B. Butler, Nitesh Saxena, editors, Security and Privacy in Communication Networks - 16th EAI International Conference, SecureComm 2020, Washington, DC, USA, October 21-23, 2020, Proceedings, Part II. Volume 336 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 391-402, Springer, 2020. [doi]