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

HALBWACHS, Nicolas (Hrsg.). [book]. 1999. Berlin: Springer. Lecture notes in computer science, Vol. 1633. ISBN 3540662022.

Elsevier - Harvard (with titles)

Halbwachs, N. (Hrsg.), 1999. Computer aided verification : 11 th international conference ; proceedings. Lecture notes in computer science, Lecture notes in computer science.

American Psychological Association 7th edition

Halbwachs, N. (Hrsg.). (ca. 1999). Computer aided verification : 11 th international conference ; proceedings [Book]. In Lecture notes in computer science. Springer.

Springer - Basic (author-date)

Halbwachs N (Hrsg.) (1999) Computer aided verification : 11 th international conference ; proceedings. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Halbwachs, Nicolas (Hrsg.), Computer aided verification : 11 th international conference ; proceedings, Lecture notes in computer science 1999, .

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