Kroening, D., Ouaknine, J., Strichman, O., Wahl, T., Worrell, J., & Gopalakrishnan, G. (2011). Linear Completeness Thresholds for Bounded Model Checking. Springer.
Citação do estilo Chicago (17ª ed.)Kroening, D., J. Ouaknine, O. Strichman, T. Wahl, J. Worrell, e G. Gopalakrishnan. Linear Completeness Thresholds for Bounded Model Checking. Springer, 2011.
Citação MLA (9ª ed.)Kroening, D., et al. Linear Completeness Thresholds for Bounded Model Checking. Springer, 2011.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.