Kwiatkowska, M., Wiltsche, C., & Parker, D. (2016). PRISM-games 2.0: A tool for multi-objective strategy synthesis for stochastic games. Springer.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Kwiatkowska, M., C. Wiltsche, và D. Parker. PRISM-games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. Springer, 2016.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Kwiatkowska, M., et al. PRISM-games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. Springer, 2016.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.