APA (7th ed.) Citation

Holzmann, G. J., & Bosnacki, D. (2007). The Design of a Multicore Extension of the SPIN Model Checker. IEEE Transactions on Software Engineering, 33(10), 659. https://doi.org/10.1109/TSE.2007.70724

Chicago Style (17th ed.) Citation

Holzmann, Gerard J., and Dragan Bosnacki. "The Design of a Multicore Extension of the SPIN Model Checker." IEEE Transactions on Software Engineering 33, no. 10 (2007): 659. https://doi.org/10.1109/TSE.2007.70724.

MLA (9th ed.) Citation

Holzmann, Gerard J., and Dragan Bosnacki. "The Design of a Multicore Extension of the SPIN Model Checker." IEEE Transactions on Software Engineering, vol. 33, no. 10, 2007, p. 659, https://doi.org/10.1109/TSE.2007.70724.