• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Smart Markers in Smart Contracts: Enabling Multiway Branching and Merging in Blockchain for Decentralized Runtime Verification.

Tieming GengLaurent NjillaChin-Tser Huang
Published in: DSC (2021)
Keyphrases
  • smart environments
  • database
  • artificial intelligence
  • decision making
  • cooperative
  • search algorithm
  • mobile robot
  • supply chain
  • search tree