C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Temporal Blockchain: A Formal Analysis.
Richard Dennis
Gareth Owenson
Benjamin Aziz
Published in:
CTS (2016)
Keyphrases
</>
formal analysis
spatio temporal
temporal information
temporal constraints
formal methods
spatial and temporal
temporal evolution
ban logic
temporal analysis
temporal databases
agent model
temporal data
temporal relations
temporal patterns
temporal dimension
data model
temporal consistency
database systems