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

BOŠNAČKI, Dragan (Hrsg.). [book]. 2002. Berlin: Springer. Lecture notes in computer science, Vol. 2318. ISBN 3540434771.

Elsevier - Harvard (with titles)

Bošnački, D. (Hrsg.), 2002. Model checking software : proceedings. Lecture notes in computer science, Lecture notes in computer science.

American Psychological Association 7th edition

Bošnački, D. (Hrsg.). (ca. 2002). Model checking software : proceedings [Book]. In Lecture notes in computer science. Springer.

Springer - Basic (author-date)

Bošnački D (Hrsg.) (2002) Model checking software : proceedings. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Bošnački, Dragan (Hrsg.), Model checking software : proceedings, Lecture notes in computer science 2002, .

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