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

Kroening, D., Lewis, M., Weissenbacher, G., & Bjørner, N. (2015). Proving safety with trace automata and bounded model checking. Springer.

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

Kroening, D., M. Lewis, G. Weissenbacher, ба N. Bjørner. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.

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

Kroening, D., et al. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.