Clock Bound Repair for Timed Systems.

Martin Klbl, Stefan Leue, Thomas Wies

Browse the full CAV paper archive.