Goos, G., Hartmanis, J., van Leeuwen, J., Diks, K., Rytter, W. und Martinelli, F. (2002) Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems. doi:10.1007/3-540-45687-2_43.
Chicago Manual of Style 17th edition (full note)Goos, Gerhard, Juris Hartmanis, Jan van Leeuwen, Krzysztof Diks, Wojciech Rytter, und Fabio Martinelli. Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems. https://doi.org/10.1007/3-540-45687-2_43.
American Psychological Association 7th editionGoos, G., Hartmanis, J., van Leeuwen, J., Diks, K., Rytter, W., & Martinelli, F. (2002). Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems. https://doi.org/10.1007/3-540-45687-2_43
Modern Language Association 9th editionGoos, G., J. Hartmanis, J. van Leeuwen, K. Diks, W. Rytter, und F. Martinelli. Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems. 2002, https://doi.org/10.1007/3-540-45687-2_43.
ISO-690 (author-date, Deutsch)GOOS, Gerhard, Juris HARTMANIS, Jan VAN LEEUWEN, Krzysztof DIKS, Wojciech RYTTER und Fabio MARTINELLI, 2002. Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems