Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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