Local Model Checking for Infinite State Spaces

Julian C. Bradfield, Colin Stirling. Local Model Checking for Infinite State Spaces. Theoretical Computer Science, 96(1):157-174, 1992.

Abstract

Abstract is missing.