Brázdil, T., Forejt, V., Kucera, A., & Aceto, L. (2008). Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रBrázdil, T., V. Forejt, A. Kucera, और L. Aceto. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.
एमएलए (9वां संस्करण) प्रशस्ति पत्रBrázdil, T., et al. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.