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

DILL, David L. (Hrsg.). [book]. 1994. Berlin: Springer. Lecture notes in computer science, 818. ISBN 3540581790.

Elsevier - Harvard (with titles)

Dill, D.L. (Hrsg.), 1994. Computer aided verification : 6 th international workshop ; proceedings. Lecture notes in computer science, Lecture notes in computer science.

American Psychological Association 7th edition

Dill, D. L. (Hrsg.). (ca. 1994). Computer aided verification : 6 th international workshop ; proceedings [Book]. In Lecture notes in computer science. Springer.

Springer - Basic (author-date)

Dill DL (Hrsg.) (1994) Computer aided verification : 6 th international workshop ; proceedings. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Dill, David L. (Hrsg.), Computer aided verification : 6 th international workshop ; proceedings, Lecture notes in computer science 1994, .

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