Login / Signup
Blockchain-Based Proof of Delivery of Physical Assets With Single and Multiple Transporters.
Haya R. Hasan
Khaled Salah
Published in:
IEEE Access (2018)
Keyphrases
</>
data sets
information technology
logic programs
theorem prover
theorem proving