Data mining based decomposition for assume-guarantee reasoning.

He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu

Browse the full FMCAD paper archive.