Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem. Fast Parametric Model Checking With Applications to Software Performability Analysis. IEEE Trans. Software Eng., 49(10):4707-4730, October 2023. [doi]
No reviews for this publication, yet.