ISO-690 (author-date, English)

DAMM, Werner, 2007. Computer aided verification : 19 th international conference ; proceedings. [cd]. 2007. Berlin: Springer. Lecture notes in computer science, 4590. ISBN 9783540733676.

Elsevier - Harvard (with titles)

Damm, W., 2007. Computer aided verification : 19 th international conference ; proceedings. Lecture notes in computer science, Lecture notes in computer science. https://doi.org/10.1007/978-3-540-73368-3

American Psychological Association 7th edition

Damm, W. (ca. 2007). Computer aided verification : 19 th international conference ; proceedings [Cd]. In Lecture notes in computer science. Springer. https://doi.org/10.1007/978-3-540-73368-3

Springer - Basic (author-date)

Damm W (2007) Computer aided verification : 19 th international conference ; proceedings. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Damm, Werner, Computer aided verification : 19 th international conference ; proceedings, Lecture notes in computer science 2007, .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.