Symbolic Exploration of transition Hierarchies.

Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani

Browse the full TACAS paper archive.