Publikace

• 2016

  ČEŠKA, M.; DANNENBERG, F.; KWIATKOWSKA, M.; PAOLETTI, N.; BRIM, L. Precise parameter synthesis for stochastic biochemical systems. Acta Informatica, 2016, roč. 54, č. 6, s. 589-623. ISSN: 0001-5903.
  Detail | WWW

  ČEŠKA, M.; PILAŘ, P.; PAOLETTI, N.; BRIM, L.; KWIATKOWSKA, M. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Berlin: Springer International Publishing, 2016. s. 367-384. ISBN: 978-3-662-49673-2. ISSN: 0302-9743.
  Detail | WWW

*) Citace publikací se generují jednou za 24 hodin.