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ção do estilo Chicago (17ª ed.)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.
Citação MLA (9ª ed.)Brázdil, T., et al. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.