HERMANNS, Holger und PALSBERG, Jens (Hrsg.). [cd]. 2006. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540330578.
Elsevier - Harvard (with titles)Hermanns, H., Palsberg, J. (Hrsg.), 2006. Tools and Algorithms for the Construction and Analysis of Systems : 12 th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/11691372
American Psychological Association 7th editionHermanns, H., … Palsberg, J. (Hrsg.). (ca. 2006). Tools and Algorithms for the Construction and Analysis of Systems : 12 th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11691372
Springer - Basic (author-date)Hermanns H, Palsberg J (Hrsg.) (2006) Tools and Algorithms for the Construction and Analysis of Systems : 12 th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Hermanns, Holger/ Palsberg, Jens (Hrsg.), Tools and Algorithms for the Construction and Analysis of Systems : 12 th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, Theoretical Computer Science and General Issues 2006, .