Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

WALTHER, Christoph, 2010. Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60 th birthday. [book]. 2010. Berlin: Springer. Lecture notes in computer science, 6463 : Lecture notes in artificial intelligence. ISBN 9783642171710.

Elsevier - Harvard (with titles)

Walther, C., 2010. Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60 th birthday. Lecture notes in computer science, Lecture notes in computer science.

American Psychological Association 7th edition

Walther, C. (ca. 2010). Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60 th birthday [Book]. In S. Siegler (Hrsg.), Lecture notes in computer science. Springer.

Springer - Basic (author-date)

Walther C (2010) Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60 th birthday. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Walther, Christoph, Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60 th birthday, Lecture notes in computer science 2010, .

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.