Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif. Modular, crash-safe refinement for ASMs with submachines. Science of Computer Programming, 131:3-21, 2016. [doi]
@article{ErnstPSR16,
title = {Modular, crash-safe refinement for ASMs with submachines},
author = {Gidon Ernst and Jörg Pfähler and Gerhard Schellhorn and Wolfgang Reif},
year = {2016},
doi = {10.1016/j.scico.2016.04.009},
url = {http://dx.doi.org/10.1016/j.scico.2016.04.009},
researchr = {https://researchr.org/publication/ErnstPSR16},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {131},
pages = {3-21},
}