Kroening, D., Ouaknine, J., Strichman, O., Wahl, T., Worrell, J., & Gopalakrishnan, G. (2011). Linear Completeness Thresholds for Bounded Model Checking. Springer.
Lua i Stíl Chicago (17ú heag.)Kroening, D., J. Ouaknine, O. Strichman, T. Wahl, J. Worrell, agus G. Gopalakrishnan. Linear Completeness Thresholds for Bounded Model Checking. Springer, 2011.
Lua MLA (9ú heag.)Kroening, D., et al. Linear Completeness Thresholds for Bounded Model Checking. Springer, 2011.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.