Nguyen, T., Sun, J., Liu, Y., Dong, J., & LABORATORIES, T. (2013). Improved BDD-based discrete analysis of timed systems.
استشهاد بنمط شيكاغوNguyen, T.K., J. Sun, Y. Liu, J.S Dong, و TEMASEK LABORATORIES. Improved BDD-based Discrete Analysis of Timed Systems. 2013.
MLA استشهادNguyen, T.K., et al. Improved BDD-based Discrete Analysis of Timed Systems. 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.