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

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