Skip to content
cs-conference-ranking.org

TarTar: A Timed Automata Repair Tool.

Martin Klbl, Stefan Leue, Thomas Wies

VenueA*CAV
Year2020
ProceedingsCAV (1)
DBLP recordconf/cav/KolblLW20 ↗

Browse the full CAV paper archive.