Login / Signup
Adequate Sets of Temporal Connectives in CTL.
Alan Martin
Published in:
EXPRESS (2001)
Keyphrases
</>
temporal properties
linear temporal logic
model checking
temporal logic
spatio temporal
temporal constraints
spatial and temporal
temporal information
temporal reasoning
truth values
database
databases
data mining
formal specification
temporal evolution
computation tree logic