Model checking (1997)

by E Clarke
Venue:In Foundations of Software Technology and Theoretical Computer Science, number 1346 in Lecture Notes in Computer Science