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

Rudolf Berghammer
Christian-Albrechts-Universit├Ąt Kiel, Germany

R. Berghammer, T. Hoffmann:
Modeling Sequences within the RelView System
page 107 - 123
Vol.7 / Issue 2
R. Berghammer, D. Haneberg, W. Reif, G. Schellhorn:
J.UCS Special Issue on Tools for System Design and Verification
page 86 - 87
Vol.9 / Issue 2