Cytowanie według stylu APA (wyd. 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.

Cytowanie według stylu Chicago (wyd. 17)

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

Cytowanie według stylu MLA (wyd. 9)

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