Kwiatkowska, M., Wiltsche, C., & Parker, D. (2016). PRISM-games 2.0: A tool for multi-objective strategy synthesis for stochastic games. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रKwiatkowska, M., C. Wiltsche, और D. Parker. PRISM-games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. Springer, 2016.
एमएलए (9वां संस्करण) प्रशस्ति पत्रKwiatkowska, M., et al. PRISM-games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. Springer, 2016.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.