BARESI, Luciano, GHEZZI, Carlo, MOCCI, Andrea und MONGA, Mattia, 2008. Using Graph Transformation Systems to Specify and Verify Data Abstractions. Berlin: Technische Universität Berlin.
Elsevier - Harvard (with titles)Baresi, L., Ghezzi, C., Mocci, A., Monga, M., 2008. Using Graph Transformation Systems to Specify and Verify Data Abstractions, Electronic Communications of the EASST- ECEASST. Technische Universität Berlin, Berlin. https://doi.org/urn:nbn:de:kobv:83-opus-20012
American Psychological Association 7th editionBaresi, L., Ghezzi, C., Mocci, A., & Monga, M. (ca. 2008). Using Graph Transformation Systems to Specify and Verify Data Abstractions [Cd]. In Electronic Communications of the EASST- ECEASST. Technische Universität Berlin. https://doi.org/urn:nbn:de:kobv:83-opus-20012
Springer - Basic (author-date)Baresi L, Ghezzi C, Mocci A, Monga M (2008) Using Graph Transformation Systems to Specify and Verify Data Abstractions. Technische Universität Berlin, Berlin
Juristische Zitierweise (Stüber) (Deutsch)Baresi, Luciano/ Ghezzi, Carlo/ Mocci, Andrea/ Monga, Mattia, Using Graph Transformation Systems to Specify and Verify Data Abstractions, Berlin 2008.