Logics and translations for hierarchical model checking.

Norihiro Kamide, Ryu Yano

Browse the full KES paper archive.