A Study of the Model Explosion Problem in CTL Model Update.

Yulin Ding, Yan Zhang

Browse the full SEKE paper archive.