![](https://www.pdfsearch.io/img/e122e812a95d5e34c6db167ca74c9598.jpg) Date: 2017-03-10 09:53:57
| | 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, UAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 829,34 KBShare Document on Facebook
|