APA-čujuhus (7. p.)

D'Silva, V., Purandare, M., Kroening, D., & Logozzo, F. (2008). Approximation Refinement for Interpolation−Based Model Checking. Springer.

Chicago-čujuhus (17. p.)

D'Silva, V., M. Purandare, D. Kroening, juo F. Logozzo. Approximation Refinement for Interpolation−Based Model Checking. Springer, 2008.

MLA-čujuhus (9. p.)

D'Silva, V., et al. Approximation Refinement for Interpolation−Based Model Checking. Springer, 2008.

Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.