Kroening, D., Ouaknine, J., Strichman, O., Wahl, T., Worrell, J., & Gopalakrishnan, G. (2011). Linear Completeness Thresholds for Bounded Model Checking. Springer.

Kroening, D., J. Ouaknine, O. Strichman, T. Wahl, J. Worrell, and G. Gopalakrishnan. Linear Completeness Thresholds for Bounded Model Checking. Springer, 2011.

Kroening, D., et al. Linear Completeness Thresholds for Bounded Model Checking. Springer, 2011.