APA (7th ed.) Citation

Avrunin, G. S., Buy, U. A., Corbett, J. C., Dillon, L. K., & Wileden, J. C. (1991). Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. IEEE Transactions on Software Engineering, 17(11), 1204. https://doi.org/10.1109/32.106975

Chicago Style (17th ed.) Citation

Avrunin, George S., Ugo A. Buy, James C. Corbett, Laura K. Dillon, and Jack C. Wileden. "Automated Analysis of Concurrent Systems With the Constrained Expression Toolset." IEEE Transactions on Software Engineering 17, no. 11 (1991): 1204. https://doi.org/10.1109/32.106975.

MLA (9th ed.) Citation

Avrunin, George S., et al. "Automated Analysis of Concurrent Systems With the Constrained Expression Toolset." IEEE Transactions on Software Engineering, vol. 17, no. 11, 1991, p. 1204, https://doi.org/10.1109/32.106975.