G. Schellhorn:
ASM Refinement Preserving Invariants
/jucs_14_12/asm_refinement_preserving_invariants

page 1929 - 1948
Vol.14 / Issue 12

W. Reif, G. Schellhorn, T. Vollmer, J. Ruf:
Correctness of Efficient Real-Time Model Checking
/jucs_7_2/correctness_of_efficient_real

page 194 - 209
Vol.7 / Issue 2

G. Schellhorn, W. Ahrendt:
Reasoning about Abstract State Machines: The WAM Case Study
/jucs_3_4/reasoning_about_abstract_state

page 377 - 413
Vol.3 / Issue 4

W. Reif, G. Schellhorn:
J.UCS Special Issue on Tools for System Design and Verification
/jucs_7_1/tools_for_system_design

page 1 - 2
Vol.7 / Issue 1

G. Schellhorn:
Verification of ASM Refinements Using Generalized Forward Simulation
/jucs_7_11/verification_of_asm_refinements

page 952 - 979
Vol.7 / Issue 11