APA引文

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

Chicago Style Citation

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.

MLA引文

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