Kroening, D., Ouaknine, J., Strichman, O., Wahl, T., Worrell, J., & Gopalakrishnan, G. (2011). Linear Completeness Thresholds for Bounded Model Checking. Springer.
Dyfyniad Arddull ChicagoKroening, D., J. Ouaknine, O. Strichman, T. Wahl, J. Worrell, and G. Gopalakrishnan. Linear Completeness Thresholds for Bounded Model Checking. Springer, 2011.
Dyfyniad MLAKroening, D., et al. Linear Completeness Thresholds for Bounded Model Checking. Springer, 2011.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.