Gerhard Schellhorn. Verification of ASM Refinements Using Generalized Forward Simulation. J. UCS, 7(11):952-979, 2001. [doi]
@article{Schellhorn01,
title = {Verification of ASM Refinements Using Generalized Forward Simulation},
author = {Gerhard Schellhorn},
year = {2001},
url = {http://www.jucs.org/jucs_7_11/verification_of_asm_refinements},
tags = {refinement},
researchr = {https://researchr.org/publication/Schellhorn01},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {7},
number = {11},
pages = {952-979},
}