APA-ийн эшлэл(7 дахь хэвлэлт)

Donaldson, A., Kroening, D., & Rümmer, P. (2011). Automatic analysis of DMA races using model checking and k-induction.

Чикаго-гийн эшлэл (17 дахь хэвлэлт)

Donaldson, A., D. Kroening, ба P. Rümmer. Automatic Analysis of DMA Races Using Model Checking and K-induction. 2011.

MLA -ийн эшлэл (9 дэх хэвлэлт)

Donaldson, A., et al. Automatic Analysis of DMA Races Using Model Checking and K-induction. 2011.