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

Rudolf Berghammer
Christian-Albrechts-Universität Kiel, Germany

R. Berghammer, T. Hoffmann:
Modeling Sequences within the RelView System
/jucs_7_2/modeling_sequences_within_the
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
/jucs_9_2/tools_for_system_design
page 86 - 87
Vol.9 / Issue 2