Παραπομπή σε μορφή 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.

Παραπομπή σε μορφή Chicago (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 (9th εκδ.)

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