APA (7th ed.) Citation

Holzmann, G. J. (2008). A Stack-Slicing Algorithm for Multi-Core Model Checking. Electronic notes in theoretical computer science, 198(1), 3-16. https://doi.org/10.1016/j.entcs.2007.10.017

Chicago Style (17th ed.) Citation

Holzmann, Gerard J. "A Stack-Slicing Algorithm for Multi-Core Model Checking." Electronic Notes in Theoretical Computer Science 198, no. 1 (2008): 3-16. https://doi.org/10.1016/j.entcs.2007.10.017.

MLA (9th ed.) Citation

Holzmann, Gerard J. "A Stack-Slicing Algorithm for Multi-Core Model Checking." Electronic Notes in Theoretical Computer Science, vol. 198, no. 1, 2008, pp. 3-16, https://doi.org/10.1016/j.entcs.2007.10.017.