SIEGLER, Simon und WASSER, Nathan (Hrsg.). [cd]. 2010. 1 st edition 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642171727.
Elsevier - Harvard (with titles)Siegler, S., Wasser, N. (Hrsg.), 2010. Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60 th Birthday. Lecture Notes in Artificial Intelligence. https://doi.org/10.1007/978-3-642-17172-7
American Psychological Association 7th editionSiegler, S., … Wasser, N. (Hrsg.). (ca. 2010). Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60 th Birthday [Cd]. In Lecture Notes in Artificial Intelligence (1 st edition 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-17172-7
Springer - Basic (author-date)Siegler S, Wasser N (Hrsg.) (2010) Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60 th Birthday. Lecture Notes in Artificial Intelligence
Juristische Zitierweise (Stüber) (Deutsch)Siegler, Simon/ Wasser, Nathan (Hrsg.), Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60 th Birthday, Lecture Notes in Artificial Intelligence 2010, .