On the Complexity of Modular Model Checking

On the Complexity of Modular Model Checking Moshe Y. Vardi 101-111 conf/lics/LICS10 1995 LICS db/conf/lics/lics95.html