Automatic Compositional Verification of Timed Systems.

Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, tienne Andr

Browse the full FM paper archive.