Interval Approach to Parallel Timed Systems Verification.

Yuri G. Karpov, Dmitry Sotnikov

Browse the full PACT paper archive.