ISO-690 (author-date, English)

SCHNEIDER, Sven, MAXIMOVA, Maria und GIESE, Holger, 2022. Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction. Potsdam: Universität Potsdam.

Elsevier - Harvard (with titles)

Schneider, S., Maximova, M., Giese, H., 2022. Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction, Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam. Universität Potsdam, Potsdam. https://doi.org/10.25932/publishup-54585

American Psychological Association 7th edition

Schneider, S., Maximova, M., & Giese, H. (ca. 2022). Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction [Cd]. In Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam. Universität Potsdam. https://doi.org/10.25932/publishup-54585

Springer - Basic (author-date)

Schneider S, Maximova M, Giese H (2022) Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction. Universität Potsdam, Potsdam

Juristische Zitierweise (Stüber) (Deutsch)

Schneider, Sven/ Maximova, Maria/ Giese, Holger, Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction, Potsdam 2022.

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