Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Gerhard Schellhorn
Abt. Programmiermethodik, Universit├Ąt Ulm, Germany

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