ISO-690 (author-date, English)

VALMARI, Antti, 2006. Model checking software : proceedings. [cd]. 2006. Berlin: Springer. Lecture notes in computer science, 3925.

Elsevier - Harvard (with titles)

Valmari, A., 2006. Model checking software : proceedings. Lecture notes in computer science, Lecture notes in computer science. https://doi.org/10.1007/11691617

American Psychological Association 7th edition

Valmari, A. (ca. 2006). Model checking software : proceedings [Cd]. In Lecture notes in computer science. Springer. https://doi.org/10.1007/11691617

Springer - Basic (author-date)

Valmari A (2006) Model checking software : proceedings. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Valmari, Antti, Model checking software : proceedings, Lecture notes in computer science 2006, .

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