Computational challenges in bounded model checking. (STTT, 2005)

(untitled) - Clarke, E; Kroening, D; Ouaknine, J; Strichman, O