Research on Automatic Veri cation of Finite State (1987)

by E M Clarke, O Grumberg
Venue:Concurrent Systems, Annual Reviews in Computer Science