Completeness and Complexity of Bounded Model Checking
Edmund Clarke‚ Daniel Kroening‚ Ofer Strichman and Joel Ouaknine
Book Title
5th International Conference on Verification‚ Model Checking‚ and Abstract Interpretation
ISBN
3−540−20803−8
Pages
85–96
Series
Lecture Notes in Computer Science
Volume
2937
Year
2004