On Partitioning and Symbolic Model Checking.

Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain

Browse the full FM paper archive.