Local model-checking for infinite state spaces (1992)

by Julian Bradfield, Colin Stirling
Venue:TCS