APA (7th ed.) Citation

SARNA-STAROSTA, B., STIREWALT, R. E. K., & DILLON, L. K. (2007). A MODEL-BASED DESIGN-FOR-VERIFICATION APPROACH TO CHECKING FOR DEADLOCK IN MULTI-THREADED APPLICATIONS. International Journal of Software Engineering & Knowledge Engineering, 17(2), 207. https://doi.org/10.1142/S0218194007003197

Chicago Style (17th ed.) Citation

SARNA-STAROSTA, BEATA, R. E. K. STIREWALT, and LAURA K. DILLON. "A MODEL-BASED DESIGN-FOR-VERIFICATION APPROACH TO CHECKING FOR DEADLOCK IN MULTI-THREADED APPLICATIONS." International Journal of Software Engineering & Knowledge Engineering 17, no. 2 (2007): 207. https://doi.org/10.1142/S0218194007003197.

MLA (9th ed.) Citation

SARNA-STAROSTA, BEATA, et al. "A MODEL-BASED DESIGN-FOR-VERIFICATION APPROACH TO CHECKING FOR DEADLOCK IN MULTI-THREADED APPLICATIONS." International Journal of Software Engineering & Knowledge Engineering, vol. 17, no. 2, 2007, p. 207, https://doi.org/10.1142/S0218194007003197.