Colin F. Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler. Domain-specific scenarios for refinement-based methods. Journal of Systems Architecture, 112:101833, 2021. [doi]
@article{SnookHDFB21,
title = {Domain-specific scenarios for refinement-based methods},
author = {Colin F. Snook and Thai Son Hoang and Dana Dghaym and Asieh Salehi Fathabadi and Michael J. Butler},
year = {2021},
doi = {10.1016/j.sysarc.2020.101833},
url = {https://doi.org/10.1016/j.sysarc.2020.101833},
researchr = {https://researchr.org/publication/SnookHDFB21},
cites = {0},
citedby = {0},
journal = {Journal of Systems Architecture},
volume = {112},
pages = {101833},
}