ISO-690 (author-date, English)

SHARYGINA, Natalia Yevgenyevna, BROWNE, James C. und TESAR, Delbert, 2002. Model checking of software control systems.

Elsevier - Harvard (with titles)

Sharygina, N.Y., Browne, J.C., Tesar, D., 2002. Model checking of software control systems.

American Psychological Association 7th edition

Sharygina, N. Y., Browne, J. C., & Tesar, D. (2002). Model checking of software control systems.

Springer - Basic (author-date)

Sharygina NY, Browne JC, Tesar D (2002) Model checking of software control systems

Juristische Zitierweise (Stüber) (Deutsch)

Sharygina, Natalia Yevgenyevna/ Browne, James C./ Tesar, Delbert, Model checking of software control systems, 2002.

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