LIN, S., LIU, Y., SUN, J., DONG, J. S., & ANDRÉ, É. (2012). Automatic compositional verification of timed systems. Institutional Knowledge at Singapore Management University.

LIN, Shang-Wei, Yang LIU, Jun SUN, Jin Song DONG, and Étienne ANDRÉ. Automatic Compositional Verification of Timed Systems. Institutional Knowledge at Singapore Management University, 2012.

LIN, Shang-Wei, et al. Automatic Compositional Verification of Timed Systems. Institutional Knowledge at Singapore Management University, 2012.