APA Citation

Xing, Z., Sun, J., Liu, Y., Dong, J., & LABORATORIES, T. (2013). Differencing labeled transition systems.

Chicago Style Citation

Xing, Z., J. Sun, Y. Liu, J.S Dong, and TEMASEK LABORATORIES. Differencing Labeled Transition Systems. 2013.

MLA Citation

Xing, Z., et al. Differencing Labeled Transition Systems. 2013.

Warning: These citations may not always be 100% accurate.