Computational Challenges in Bounded Model Checking
Edmund Clarke‚ Daniel Kroening‚ Joel Ouaknine and Ofer Strichman
Journal
Software Tools for Technology Transfer (STTT)
Month
April
Number
2
Pages
174–183
Publisher
Springer
Volume
7
Year
2005
Edmund Clarke‚ Daniel Kroening‚ Joel Ouaknine and Ofer Strichman