Limits for Automatic Veri cation of Finite State (1986)

by K Apt, D Kozen
Venue:Systes, IPL