ISO-690 (author-date, English)

SOMAVARAPU, Murali Krishna, 2013. SPIN Model Checker for MACT. North Dakota State University.

Elsevier - Harvard (with titles)

Somavarapu, M.K., 2013. SPIN Model Checker for MACT. North Dakota State University.

American Psychological Association 7th edition

Somavarapu, M. K. (2013). SPIN Model Checker for MACT. North Dakota State University.

Springer - Basic (author-date)

Somavarapu MK (2013) SPIN Model Checker for MACT. North Dakota State University

Juristische Zitierweise (Stüber) (Deutsch)

Somavarapu, Murali Krishna, SPIN Model Checker for MACT, 2013.

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