APA (7 ম সংস্করণ) উদ্ধৃতি

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

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

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

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

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