Equivalence Checking for Hybrid Control Systems Modelled in Simulink.

Sebastian Schlesinger, Paula Herber, Thomas Gthel, Sabine Glesner

Browse the full QRS paper archive.