Kroening, D., Ouaknine, J., Strichman, O., Wahl, T., Worrell, J., & Gopalakrishnan, G. (2011). Linear Completeness Thresholds for Bounded Model Checking. Springer.
Citação norma ChicagoKroening, D., J. Ouaknine, O. Strichman, T. Wahl, J. Worrell, and G. Gopalakrishnan. Linear Completeness Thresholds for Bounded Model Checking. Springer, 2011.
Citação norma MLAKroening, 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.