resources
No albums or photos uploaded yet.
-
Reducing Quasi-equal Clocks in Networks of Timed Automata
-
QEBenchmarks
-
Quasi-dependent Variables in Hybrid Automata
-
Quasi-equal Clock Reduction: More Networks, More Queries
-
Quasi-equal Clock Reduction: Eliminating Assumptions on Networks
-
Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms