GSTE Is Partitioned Model Checking.

Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi

Browse the full CAV paper archive.