Automated Veri cation with Abstract State Machines Using Multiway Decision Graphs (1997)

by E Cerny, F Corella, M Langevin, X Song, S Tahar, Z Zhou
Venue:Formal Hardware Veri Methods and Systems in Comparison, LNCS 1287, State-of-the-Art Survey