Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.

Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang

Browse the full ICFEM paper archive.