Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.