Brázdil, T., Forejt, V., Kucera, A., & Aceto, L. (2008). Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer.
Citace podle Chicago (17th ed.)Brázdil, T., V. Forejt, A. Kucera, a L. Aceto. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.
Citace podle MLA (9th ed.)Brázdil, T., et al. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..