Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter. Formal verification of ASMs using MDGs. Journal of Systems Architecture, 54(1-2):15-34, 2008. [doi]
@article{GawanmehTW08,
title = {Formal verification of ASMs using MDGs},
author = {Amjad Gawanmeh and Sofiène Tahar and Kirsten Winter},
year = {2008},
doi = {10.1016/j.sysarc.2007.03.007},
url = {http://dx.doi.org/10.1016/j.sysarc.2007.03.007},
researchr = {https://researchr.org/publication/GawanmehTW08},
cites = {0},
citedby = {0},
journal = {Journal of Systems Architecture},
volume = {54},
number = {1-2},
pages = {15-34},
}