APA (7th ed.) Citation

Deng, Y., Wang, J., & Zhou, M. (2004). Consistency verification in modeling of real-time systems. IEEE transactions on robotics and automation, 20(1), 136-142. https://doi.org/10.1109/TRA.2003.819737

Chicago Style (17th ed.) Citation

Deng, Yi, Jiacun Wang, and MengChu Zhou. "Consistency Verification in Modeling of Real-time Systems." IEEE Transactions on Robotics and Automation 20, no. 1 (2004): 136-142. https://doi.org/10.1109/TRA.2003.819737.

MLA (9th ed.) Citation

Deng, Yi, et al. "Consistency Verification in Modeling of Real-time Systems." IEEE Transactions on Robotics and Automation, vol. 20, no. 1, 2004, pp. 136-142, https://doi.org/10.1109/TRA.2003.819737.