Login / Signup
CTL Model Update for System Modifications
Yulin Ding
Yan Zhang
Published in:
CoRR (2011)
Keyphrases
</>
ctl model update
minimal change
model checking
belief revision
information retrieval
data model