SCHNEIDER, Sven, LAMBERS, Leen und OREJAS, Fernando, 2017. Symbolic model generation for graph properties. Potsdam [u.a.]: Universität Potsdam[u.a.].
Elsevier - Harvard (with titles)Schneider, S., Lambers, L., Orejas, F., 2017. Symbolic model generation for graph properties, 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-103171
American Psychological Association 7th editionSchneider, S., Lambers, L., & Orejas, F. (ca. 2017). Symbolic model generation for graph properties [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-103171
Springer - Basic (author-date)Schneider S, Lambers L, Orejas F (2017) Symbolic model generation for graph properties. Universität Potsdam[u.a.], Potsdam [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Schneider, Sven/ Lambers, Leen/ Orejas, Fernando, Symbolic model generation for graph properties, Potsdam [u.a.] 2017.