Program Complexity in Hierarchical Module Checking.

Aniello Murano, Margherita Napoli, Mimmo Parente

Browse the full LPAR paper archive.