Skip to content

Untangling the Graphs of Timed Automata to Decrease the Number of Clocks.

Neda Saeedloei, Feliks Kluzniak

VenueBIFM
Year2022
ProceedingsIFM

Browse the full IFM paper archive.