ISO-690 (author-date, English)

GODEFROID, Patrice, 2005. Model checking software : proceedings. [cd]. 2005. Berlin: Springer. Lecture notes in computer science, 3639.

Elsevier - Harvard (with titles)

Godefroid, P., 2005. Model checking software : proceedings. Lecture notes in computer science, Lecture notes in computer science. https://doi.org/10.1007/11537328

American Psychological Association 7th edition

Godefroid, P. (ca. 2005). Model checking software : proceedings [Cd]. In Lecture notes in computer science. Springer. https://doi.org/10.1007/11537328

Springer - Basic (author-date)

Godefroid P (2005) Model checking software : proceedings. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Godefroid, Patrice, Model checking software : proceedings, Lecture notes in computer science 2005, .

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