<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-11-07 20:10:29Science Australian Square Kilometre Array Pathfinder Square Kilometre Array Murchison Widefield Array Commonwealth Scientific and Industrial Research Organisation Ronald Ekers LOFAR Parkes Observatory Ska Radio telescopes States and territories of Australia Astronomy |
| 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 |