BOŠNAČKI, Dragan, 2007. Model checking software : proceedings. [cd]. 2007. Berlin: Springer. Lecture notes in computer science, 4595. ISBN 9783540733690.
Elsevier - Harvard (with titles)Bošnački, D., 2007. Model checking software : proceedings. Lecture notes in computer science, Lecture notes in computer science. https://doi.org/10.1007/978-3-540-73370-6
American Psychological Association 7th editionBošnački, D. (ca. 2007). Model checking software : proceedings [Cd]. In Lecture notes in computer science. Springer. https://doi.org/10.1007/978-3-540-73370-6
Springer - Basic (author-date)Bošnački D (2007) Model checking software : proceedings. Lecture notes in computer science
Juristische Zitierweise (Stüber) (Deutsch)Bošnački, Dragan, Model checking software : proceedings, Lecture notes in computer science 2007, .
Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.