Martin Koelbl (1) and Stefan Leue (1) and Thomas Wies (2) ((1) University of Konstanz

TarTar: A Timed Automata Repair Tool

By Martin Koelbl (1) and Stefan Leue (1) and Thomas Wies (2) ((1) University of Konstanz