Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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