Formalizing Dynamic Behaviors of Smart Contract Workflow in Smart Healthcare Supply Chain.

Mohammad Saidur Rahman, Ibrahim Khalil, Abdelaziz Bouras

Browse the full SecureComm paper archive.