Login / Signup
CTL Model Update: Semantics, Computations and Implementation.
Yulin Ding
Yan Zhang
Published in:
ECAI (2006)
Keyphrases
</>
formal semantics
ctl model update
database