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
Citace podle Chicago (17th ed.)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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..