APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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