Minimization of the Number of Clocks for Timed Scenarios Neda Saeedloei and Feliks Kluzniak Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata Abdulrazaq Abba, Ana Cavalcanti and Jeremy Jacob
No download links available.
