@inproceedings{CDKP14,
  title = "Precise Parameter Synthesis for Stochastic Biochemical Systems",
  author = "M. Ceska, F. Dannenberg, M. Kwiatkowska and N. Paoletti",
  year = "2014",
  booktitle = "Proc. 12th Conference on Computational Methods in Systems Biology (CMSB'14)",
  pages = "86-89",
  publisher = "Springer",
  series = "LNCS",
  volume = "8859",
}