DYCK, Johannes, GIESE, Holger, GIESE, Holger, RENSINK, Arend und WEHRHEIM, Heike, 2020. Verification of graph transformation systems with k-inductive invariants. Potsdam: Universität Potsdam.
Elsevier - Harvard (with titles)Dyck, J., Giese, H., Giese, H., Rensink, A., Wehrheim, H., 2020. Verification of graph transformation systems with k-inductive invariants. Universität Potsdam, Potsdam. https://doi.org/urn:nbn:de:kobv:517-opus4-442742
American Psychological Association 7th editionDyck, J., Giese, H., Giese, H., Rensink, A., & Wehrheim, H. (ca. 2020). Verification of graph transformation systems with k-inductive invariants [Universität Potsdam; Cd]. https://doi.org/urn:nbn:de:kobv:517-opus4-442742
Springer - Basic (author-date)Dyck J, Giese H, Giese H, Rensink A, Wehrheim H (2020) Verification of graph transformation systems with k-inductive invariants. Universität Potsdam
Juristische Zitierweise (Stüber) (Deutsch)Dyck, Johannes/ Giese, Holger/ Giese, Holger/ Rensink, Arend/ Wehrheim, Heike, Verification of graph transformation systems with k-inductive invariants, Potsdam 2020.