First Page | Document Content | |
---|---|---|
Date: 2013-11-07 20:10:26Australia Telescope National Facility Space Commonwealth Scientific and Industrial Research Organisation Array Ska ASTRON Ray Norris Radio astronomy Australian ska Astronomy Radio telescopes Science | Add to Reading ListSource URL: www.ska.gov.auDownload Document from Source WebsiteFile Size: 4,48 MBShare Document on Facebook |
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 |