Amanote Research

Amanote Research

    RegisterSign In

A Temporal Blockchain: A Formal Analysis

doi 10.1109/cts.2016.0082
Full Text
Open PDF
Abstract

Available in full text

Date

October 1, 2016

Authors
Richard DennisGareth OwensonBenjamin Aziz
Publisher

IEEE


Related search

A Formal Semantic Analysis of Gesture

Journal of Semantics
LinguisticsArtsLanguageArtificial IntelligenceHumanities
2009English

Formal Representation of Temporal Expressions

English

Formal Development of Object-Based Systems in a Temporal Logic Setting

1999English

A Formal Approach to Curriculum Theory Analysis

Marilyn Zurmuehlen Working Papers in Art Education
1983English

Blockchain: A Coordination Mechanism

SSRN Electronic Journal
2019English

Formal Analysis of a Non-Repudiation Protocol

English

Blockchain : A Revolutionary Technology

International Journal of Trend in Scientific Research and Development
2018English

Formal Analysis of a Model for Electronic Payment Systems

2017English

A Formal Analysis of the Norwegian E-Voting Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy