1![Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg · Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg ·](https://www.pdfsearch.io/img/8df0cb3735c30e4288604b3e7647331b.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-03-04 09:24:11
|
---|
2![Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U](https://www.pdfsearch.io/img/e122e812a95d5e34c6db167ca74c9598.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-03-10 09:53:57
|
---|
3![](/pdf-icon.png) | Add to Reading ListSource URL: www.ska.ac.za- Date: 2018-07-04 05:44:10
|
---|
4![](/pdf-icon.png) | Add to Reading ListSource URL: e-ska.kemendag.go.id- Date: 2013-05-10 07:34:47
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: www.ska.ac.za- Date: 2018-07-04 05:43:54
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: www.ska.ac.za- Date: 2018-07-04 05:44:02
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: e-ska.kemendag.go.id- Date: 2013-12-04 23:25:15
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: www.ska.com.br- Date: 2013-01-22 10:37:31
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: e-ska.kemendag.go.id- Date: 2018-02-25 21:30:26
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: e-ska.kemendag.go.id- Date: 2018-02-07 23:01:40
|
---|