APA (7th ed.) Citation

Avrunin, G. S., Corbett, J. C., & Dillon, L. K. (1994). Automated derivation of time bounds in uniprocessor concurrent systems. IEEE Transactions on Software Engineering, 20, 708. https://doi.org/10.1109/32.317429

Chicago Style (17th ed.) Citation

Avrunin, George S., James C. Corbett, and Laura K. Dillon. "Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems." IEEE Transactions on Software Engineering 20 (1994): 708. https://doi.org/10.1109/32.317429.

MLA (9th ed.) Citation

Avrunin, George S., et al. "Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems." IEEE Transactions on Software Engineering, vol. 20, 1994, p. 708, https://doi.org/10.1109/32.317429.