research
∙
10/20/2019
Checking Timed Bisimulation with Bounded Zone-History Graphs – Technical Report
Timed automata (TA) are a well-established formalism for discrete-state/...
research
∙
09/09/2019