Precise Parameter Synthesis for Stochastic Biochemical Systems
M. Kwiatkowska M. Ceska F. Dannenberg N. Paoletti and L. Brim
Journal
Acta Informatica‚ to appear
Publisher
Springer
Year
2016
M. Kwiatkowska M. Ceska F. Dannenberg N. Paoletti and L. Brim