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

ALUR, Rajeev (Hrsg.). [book]. 1996. Berlin: Springer. Lecture notes in computer science, 1102. ISBN 3540614745.

Elsevier - Harvard (with titles)

Alur, R. (Hrsg.), 1996. Computer aided verification : proceedings ; New Brunswick, NJ, USA, July 31 - August 3, 1996. Lecture notes in computer science, Lecture notes in computer science.

American Psychological Association 7th edition

Alur, R. (Hrsg.). (ca. 1996). Computer aided verification : proceedings ; New Brunswick, NJ, USA, July 31 - August 3, 1996 [Book]. In Lecture notes in computer science. Springer.

Springer - Basic (author-date)

Alur R (Hrsg.) (1996) Computer aided verification : proceedings ; New Brunswick, NJ, USA, July 31 - August 3, 1996. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Alur, Rajeev (Hrsg.), Computer aided verification : proceedings ; New Brunswick, NJ, USA, July 31 - August 3, 1996, Lecture notes in computer science 1996, .

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