Compositional Model Checking

Edmund M. Clarke, David E. Long, Kenneth L. McMillan

Browse the full LICS paper archive.