Login / Signup

A Case Study for CTL Model Update.

Yulin DingYan Zhang
Published in: KSEM (2006)
Keyphrases
  • ctl model update
  • model checking
  • query language
  • query optimization