APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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