ISO-690 (author-date, English)

RANGEL, Guilherme, 2008. Behavioral congruences and verification of graph transformation systems with applications to model refactoring.

Elsevier - Harvard (with titles)

Rangel, G., 2008. Behavioral congruences and verification of graph transformation systems with applications to model refactoring. https://doi.org/urn:nbn:de:kobv:83-opus-20807

American Psychological Association 7th edition

Rangel, G. (ca. 2008). Behavioral congruences and verification of graph transformation systems with applications to model refactoring [Cd]. https://doi.org/urn:nbn:de:kobv:83-opus-20807

Springer - Basic (author-date)

Rangel G (2008) Behavioral congruences and verification of graph transformation systems with applications to model refactoring

Juristische Zitierweise (Stüber) (Deutsch)

Rangel, Guilherme, Behavioral congruences and verification of graph transformation systems with applications to model refactoring, 2008.

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