Verification of Computation Orchestration Via Timed Automata.

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

Browse the full ICFEM paper archive.