resources

No albums or photos uploaded yet.

Quasi-equal Clock Reduction: More Networks, More Queries

QEBenchmarks

Quasi-equal Clock Reduction: Eliminating Assumptions on Networks

Quasi-dependent Variables in Hybrid Automata

Reducing Quasi-equal Clocks in Networks of Timed Automata

Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms