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

Wolfgang Reif
University of Augsburg , Germany

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
R. Hähnle, W. Menzel, P. H. Schmitt, W. Reif:
J.UCS Special Issue on Integration of Deduction Systems
/jucs_5_3/j_ucs_special_issue
page 50 - 51
Vol.5 / Issue 3
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