Kwiatkowska, M., Parker, D., & Wiltsche, C. (2017). PRISM-games: Verification and strategy synthesis for stochastic multi-player games with multiple objectives. Springer Verlag.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रKwiatkowska, M., D. Parker, और C. Wiltsche. PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives. Springer Verlag, 2017.
एमएलए (9वां संस्करण) प्रशस्ति पत्रKwiatkowska, M., et al. PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives. Springer Verlag, 2017.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.