@InProceedings{ceska2014precise,
  author =        {Ce{\v{s}}ka, Milan and Dannenberg, Frits and Kwiatkowska, Marta and Paoletti, Nicola},
  title =         {Precise parameter synthesis for stochastic biochemical systems},
  booktitle =     {Computational Methods in Systems Biology (CMSB 2014)},
  year =          {2014},
  pages =         {86--98},
  organization =  {Springer},
  url = {https://link.springer.com/chapter/10.1007/978-3-319-12982-2_7},
  doi = {10.1007/978-3-319-12982-2_7}
}