Login / Signup
STeP: The Stanford Temporal Prover.
Zohar Manna
Nikolaj Bjørner
Anca Browne
Edward Y. Chang
Michael Colón
Luca de Alfaro
Harish Devarajan
Arjun Kapur
Jaejin Lee
Henny Sipma
Tomás E. Uribe
Published in:
TAPSOFT (1995)
Keyphrases
</>
temporal information
spatio temporal
post processing
theorem proving
spatial and temporal
temporal reasoning
temporal constraints
temporal data
temporal evolution
multimedia
temporal patterns
temporal databases
temporal aspects
temporal characteristics