Formal Hardware Veri cation: Methods and Systems (1997)

by T Kropf
Venue:in Comparison. Volume 1287 of Lecture Notes in Computer Science, State-of-the-Art Survey