Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem. Fast Parametric Model Checking through Model Fragmentation. In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021. pages 835-846, IEEE, 2021. [doi]
@inproceedings{FangCGA21,
title = {Fast Parametric Model Checking through Model Fragmentation},
author = {Xinwei Fang and Radu Calinescu and Simos Gerasimou and Faisal Alhwikem},
year = {2021},
doi = {10.1109/ICSE43902.2021.00081},
url = {https://doi.org/10.1109/ICSE43902.2021.00081},
researchr = {https://researchr.org/publication/FangCGA21},
cites = {0},
citedby = {0},
pages = {835-846},
booktitle = {43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021},
publisher = {IEEE},
isbn = {978-1-6654-0296-5},
}