C.Stirling. Local model checking for infinite state spaces (1992)

by J Bradfield
Venue:Theoretical Computer Science