TY  - JOUR
A1  - Schellhorn, Gerhard
T1  - Verification of ASM refinements using generalized forward simulation
T2  - J.UCS - Journal of Universal Computer Science
Y1  - 2001
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/35651
UR  - http://www.jucs.org/jucs_7_11/verification_of_asm_refinements
SN  - 0948-695x
VL  - 7
IS  - 11
SP  - 952
EP  - 979
ER  -