JUCS - Journal of Universal Computer Science 7(2): 105-106, doi: 10.3217/jucs-007-02
J.UCS Special Issue on Tools for System Design and Verification - Part 2
expand article infoWolfgang Reif, Gerhard Schellhorn§
‡ University of Augsburg, Augsburg, Germany§ University of Augsburg, Germany
Open Access