Monodic ASMs and Temporal Verification.

Michael Fisher Alexei Lisitsa

Published in: Abstract State Machines (2004)

Keyphrases

spatio temporal
temporal reasoning
temporal information
temporal constraints
temporal data
temporal evolution
time stamped
predicate logic
knowledge base
image registration
facial expressions
spatial and temporal
temporal databases
temporal analysis
asynchronous circuits