DYCK, Johannes und GIESE, Holger, 2017. k-Inductive invariant checking for graph transformation systems. Potsdam [u.a.]: Universität Potsdam[u.a.].
Elsevier - Harvard (with titles)Dyck, J., Giese, H., 2017. k-Inductive invariant checking for graph transformation systems, Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam. Universität Potsdam[u.a.], Potsdam [u.a.]. https://doi.org/urn:nbn:de:kobv:517-opus4-397044
American Psychological Association 7th editionDyck, J., & Giese, H. (ca. 2017). k-Inductive invariant checking for graph transformation systems [Cd]. In Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam. Universität Potsdam[u.a.]. https://doi.org/urn:nbn:de:kobv:517-opus4-397044
Springer - Basic (author-date)Dyck J, Giese H (2017) k-Inductive invariant checking for graph transformation systems. Universität Potsdam[u.a.], Potsdam [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Dyck, Johannes/ Giese, Holger, k-Inductive invariant checking for graph transformation systems, Potsdam [u.a.] 2017.