Esparza, J., Gaiser, A., Kiefer, S., Institut für Informatik (LRR-TUM), Technische Universität Munchen - Technical University Munich - Université Technique de Munich (TUM), Inria Nancy Grand Est & Loria, & Jean-Yves Marion and Thomas Schwentick. (2010, March 4). Computing Least Fixed Points of Probabilistic Systems of Polynomials. Presented at the. HAL CCSD, 2010. Retrieved from https:/ nria.hal.science nria-00455344

ESPARZA, Javier, GAISER, Andreas, KIEFER, Stefan, INSTITUT FÜR INFORMATIK (LRR-TUM), TECHNISCHE UNIVERSITÄT MUNCHEN - TECHNICAL UNIVERSITY MUNICH - UNIVERSITÉ TECHNIQUE DE MUNICH (TUM), INRIA NANCY GRAND EST & LORIA and JEAN-YVES MARION AND THOMAS SCHWENTICK, 2010. Computing Least Fixed Points of Probabilistic Systems of Polynomials. In: [online]. HAL CCSD, 2010. 4 March 2010. Available from: https:/ nria.hal.science nria-00455344

Esparza, J., A. Gaiser, S. Kiefer, Institut für Informatik (LRR-TUM), Technische Universität Munchen - Technical University Munich - Université Technique de Munich (TUM), Inria Nancy Grand Est & Loria, and Jean-Yves Marion and Thomas Schwentick. Computing Least Fixed Points of Probabilistic Systems of Polynomials. HAL CCSD, 2010., 2010, https:/ nria.hal.science nria-00455344.

Esparza, J., Gaiser, A., Kiefer, S., Institut für Informatik (LRR-TUM), Technische Universität Munchen - Technical University Munich - Université Technique de Munich (TUM), Inria Nancy Grand Est & Loria and Jean-Yves Marion and Thomas Schwentick. (2010), “Computing Least Fixed Points of Probabilistic Systems of Polynomials”, in , Vol. , HAL CCSD, 2010., available at: https:/ nria.hal.science nria-00455344.