BÉRARD, Béatrice, 2001. Systems and software verification : model-checking techniques and tools. Berlin [u.a.]: Springer. ISBN 3540415238.
Elsevier - Harvard (with titles)Bérard, B., 2001. Systems and software verification : model-checking techniques and tools. Springer, Berlin [u.a.].
American Psychological Association 7th editionBérard, B. (ca. 2001). Systems and software verification : model-checking techniques and tools [Book]. Springer.
Springer - Basic (author-date)Bérard B (2001) Systems and software verification : model-checking techniques and tools. Springer, Berlin [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Bérard, Béatrice, Systems and software verification : model-checking techniques and tools, Berlin [u.a.] 2001.
Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.