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

Brázdil, T., Forejt, V., Kucera, A., & Aceto, L. (2008). Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer.

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

Brázdil, T., V. Forejt, A. Kucera, ба L. Aceto. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.

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

Brázdil, T., et al. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.