Radu Calinescu, Milan Ceska Jr., Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti. Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. Journal of Systems and Software, 145:195, 2018. [doi]
@article{CalinescuCGKP18a,
title = {Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]},
author = {Radu Calinescu and Milan Ceska Jr. and Simos Gerasimou and Marta Kwiatkowska and Nicola Paoletti},
year = {2018},
doi = {10.1016/j.jss.2018.08.029},
url = {https://doi.org/10.1016/j.jss.2018.08.029},
researchr = {https://researchr.org/publication/CalinescuCGKP18a},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {145},
pages = {195},
}