Citace podle APA (7th ed.)

Kwiatkowska, M., Wiltsche, C., & Parker, D. (2016). PRISM-games 2.0: A tool for multi-objective strategy synthesis for stochastic games. Springer.

Citace podle Chicago (17th ed.)

Kwiatkowska, M., C. Wiltsche, a D. Parker. PRISM-games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. Springer, 2016.

Citace podle MLA (9th ed.)

Kwiatkowska, M., et al. PRISM-games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. Springer, 2016.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..