Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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