APA Citation

Nguyen, T., Sun, J., Liu, Y., Dong, J., & LABORATORIES, T. (2013). Improved BDD-based discrete analysis of timed systems.

Chicago Style Citation

Nguyen, T.K., J. Sun, Y. Liu, J.S Dong, and TEMASEK LABORATORIES. Improved BDD-based Discrete Analysis of Timed Systems. 2013.

MLA Citation

Nguyen, T.K., et al. Improved BDD-based Discrete Analysis of Timed Systems. 2013.

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