JUCS - Journal of Universal Computer Science 9(2): 86-87, doi: 10.3217/jucs-009-02
J.UCS Special Issue on Tools for System Design and Verification
expand article infoRudolf Berghammer‡, Dominik Haneberg§, Wolfgang Reif§, Gerhard Schellhorn|
‡ University of Kiel, Kiel, Germany§ University of Augsburg, Augsburg, Germany| University of Augsburg, Germany

Corresponding author: Rudolf Berghammer ( rub@informatik.uni-kiel.de )

© Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn.
This article is freely available under the J.UCS Open Content License.
Citation: Berghammer R, Haneberg D, Reif W, Schellhorn G (2003) J.UCS Special Issue on Tools for System Design and Verification. JUCS - Journal of Universal Computer Science 9(2): 86-87. https://doi.org/10.3217/jucs-009-02
Open Access