et al. Automatic veri cation of nite state concurrent systems using temporal logic speci cations (1986)

by E Clarke
Venue:TOPLAS