Emerson, E.A. und Namjoshi, K.S. (Hrsg.) (2006) „Verification, Model Checking, and Abstract Interpretation : 7 th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/11609773.
Chicago Manual of Style 17th edition (full note)Emerson, E. Allen, und Kedar S Namjoshi, Hrsg. „Verification, Model Checking, and Abstract Interpretation : 7 th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?]. https://doi.org/10.1007/11609773.
American Psychological Association 7th editionEmerson, E. A., … Namjoshi, K. S. (Hrsg.). (ca. 2006). Verification, Model Checking, and Abstract Interpretation : 7 th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11609773
Modern Language Association 9th editionEmerson, E. A., und K. S. Namjoshi, Herausgeber. „Verification, Model Checking, and Abstract Interpretation : 7 th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2006, cd, Springer Berlin Heidelberg, 2006, https://doi.org/10.1007/11609773.
ISO-690 (author-date, Deutsch)EMERSON, E. Allen und Kedar S NAMJOSHI (Hrsg.). [cd]. 2006. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540316220