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]
@inproceedings{RahmanKB20-1,
title = {Formalizing Dynamic Behaviors of Smart Contract Workflow in Smart Healthcare Supply Chain},
author = {Mohammad Saidur Rahman and Ibrahim Khalil and Abdelaziz Bouras},
year = {2020},
doi = {10.1007/978-3-030-63095-9_25},
url = {https://doi.org/10.1007/978-3-030-63095-9_25},
researchr = {https://researchr.org/publication/RahmanKB20-1},
cites = {0},
citedby = {0},
pages = {391-402},
booktitle = {Security and Privacy in Communication Networks - 16th EAI International Conference, SecureComm 2020, Washington, DC, USA, October 21-23, 2020, Proceedings, Part II},
editor = {Noseong Park and Kun Sun 0001 and Sara Foresti and Kevin R. B. Butler and Nitesh Saxena},
volume = {336},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
publisher = {Springer},
isbn = {978-3-030-63095-9},
}