Automated Planning of System Rollback in Declarative IT System Update.

Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Yoichi Sato, Yasuhiro Matsunaga

Browse the full IM paper archive.