ISO-690 (author-date, English)

STEENKEN, Dominik, 2015. Verification of infinite-state graph transformation systems via abstraction. Paderborn: Universitätsbibliothek.

Elsevier - Harvard (with titles)

Steenken, D., 2015. Verification of infinite-state graph transformation systems via abstraction. Universitätsbibliothek, Paderborn. https://doi.org/urn:nbn:de:hbz:466:2-15768

American Psychological Association 7th edition

Steenken, D. (ca. 2015). Verification of infinite-state graph transformation systems via abstraction [Cd]. Universitätsbibliothek. https://doi.org/urn:nbn:de:hbz:466:2-15768

Springer - Basic (author-date)

Steenken D (2015) Verification of infinite-state graph transformation systems via abstraction. Universitätsbibliothek, Paderborn

Juristische Zitierweise (Stüber) (Deutsch)

Steenken, Dominik, Verification of infinite-state graph transformation systems via abstraction, Paderborn 2015.

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