Go home now Header Background Image
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
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
page 50 - 51
Vol.5 / Issue 3
W. Reif, G. Schellhorn:
J.UCS Special Issue on Tools for System Design and Verification
page 1 - 2
Vol.7 / Issue 1