Login / Signup

Temporal Properties of Smart Contracts.

Ilya SergeyAmrit KumarAquinas Hobor
Published in: ISoLA (4) (2018)
Keyphrases
  • temporal properties
  • model checking
  • supply chain
  • possibility theory
  • formal methods
  • data mining
  • data analysis
  • artificial neural networks
  • knowledge based systems