TY  - JOUR
A1  - Schellhorn, Gerhard
T1  - ASM refinement and generalizations of forward simulation in data refinement: a comparison
T2  - Theoretical Computer Science
Y1  - 2005
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/39163
SN  - 0304-3975
VL  - 336
IS  - 2-3
SP  - 403
EP  - 435
PB  - Elsevier BV
ER  -