@article{CDP+16,
  author    = {M. Ceska, F. Dannenberg, N. Paoletti, M. Kwiatkowska and L. Brim},
  title     = {Precise Parameter Synthesis for Stochastic Biochemical Systems},
  journal ={Acta Informatica, to appear},
  publisher = {Springer},
  year      = {2016}
}