HALBWACHS, Nicolas und ZUCK, Lenore (Hrsg.). [cd]. 2005. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540319801.
Elsevier - Harvard (with titles)Halbwachs, N., Zuck, L. (Hrsg.), 2005. Tools and Algorithms for the Construction and Analysis of Systems : 11 th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/b107194
American Psychological Association 7th editionHalbwachs, N., … Zuck, L. (Hrsg.). (ca. 2005). Tools and Algorithms for the Construction and Analysis of Systems : 11 th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2005). Springer Berlin Heidelberg. https://doi.org/10.1007/b107194
Springer - Basic (author-date)Halbwachs N, Zuck L (Hrsg.) (2005) Tools and Algorithms for the Construction and Analysis of Systems : 11 th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Halbwachs, Nicolas/ Zuck, Lenore (Hrsg.), Tools and Algorithms for the Construction and Analysis of Systems : 11 th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings, Theoretical Computer Science and General Issues 2005, .