Image Computation in Infinite State Model Checking.

Alain Finkel, Jrme Leroux

Browse the full CAV paper archive.