APA (7th ed.) Citation

Moffett, Y., Dingel, J., & Beaulieu, A. (2013). Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems. IEEE transactions on software engineering, 39(9), 1307-13256. https://doi.org/10.1109/TSE.2013.14

Chicago Style (17th ed.) Citation

Moffett, Y., J. Dingel, and A. Beaulieu. "Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems." IEEE Transactions on Software Engineering 39, no. 9 (2013): 1307-13256. https://doi.org/10.1109/TSE.2013.14.

MLA (9th ed.) Citation

Moffett, Y., et al. "Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems." IEEE Transactions on Software Engineering, vol. 39, no. 9, 2013, pp. 1307-13256, https://doi.org/10.1109/TSE.2013.14.