Improved Model Checking of Hierarchical Systems.

Benjamin Aminof, Orna Kupferman, Aniello Murano

Browse the full VMCAI paper archive.