APA (7 ম সংস্করণ) উদ্ধৃতি

Kaiser, A., Kroening, D., Wahl, T., & Koutny, M. (2012). Efficient coverability analysis by proof minimization. Springer.

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

Kaiser, A., D. Kroening, T. Wahl, এবং M. Koutny. Efficient Coverability Analysis by Proof Minimization. Springer, 2012.

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

Kaiser, A., et al. Efficient Coverability Analysis by Proof Minimization. Springer, 2012.