research
∙
04/27/2021
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata
In this work, we consider translating tock-CSP into Timed Automata for U...
research
∙
08/16/2020