JACOBS, Bart, SMANS, Jan, PIESSENS, Frank und SCHULTE, Wolfram, 2007. A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. ENTCS: Electronic Notes in Theoretical Computer Science. 22 Juni 2007. Vol. 174, no. 9, p. 23-47. DOI 10.1016/j.entcs.2007.04.005.
Elsevier - Harvard (with titles)Jacobs, B., Smans, J., Piessens, F., Schulte, W., 2007. A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. ENTCS: Electronic Notes in Theoretical Computer Science 174, 23-47. https://doi.org/10.1016/j.entcs.2007.04.005
American Psychological Association 7th editionJacobs, B., Smans, J., Piessens, F., & Schulte, W. (2007). A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. ENTCS: Electronic Notes in Theoretical Computer Science, 174(9), 23-47. https://doi.org/10.1016/j.entcs.2007.04.005
Springer - Basic (author-date)Jacobs B, Smans J, Piessens F, Schulte W (2007) A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. ENTCS: Electronic Notes in Theoretical Computer Science 174:23-47. https://doi.org/10.1016/j.entcs.2007.04.005
Juristische Zitierweise (Stüber) (Deutsch)Jacobs, Bart/ Smans, Jan/ Piessens, Frank/ Schulte, Wolfram, A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs, ENTCS: Electronic Notes in Theoretical Computer Science 2007, 23-47.