Local model checking for infinite state spaces (1992)

by J Bradfield, C Stirling
Venue:Theorectical Computer Science