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.

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

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