First Page | Document Content | |
---|---|---|
![]() Date: 2010-12-28 12:19:57MeerKAT Australian Square Kilometre Array Pathfinder South Africa Ska Array Radio telescopes Africa Square Kilometre Array | Add to Reading List |
![]() | Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg ·DocID: 1xVQa - View Document |
![]() | 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, UDocID: 1xTt6 - View Document |
![]() | PDF DocumentDocID: 1xteQ - View Document |
![]() | PDF DocumentDocID: 1xsu7 - View Document |
![]() | PDF DocumentDocID: 1x9mP - View Document |