Login / Signup
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.
Dang Van Hung
Published in:
Formal Methods and Hybrid Real-Time Systems (2007)
Keyphrases
</>
expert systems
constraint satisfaction