ISO-690 (author-date, English)

KOZYURA, Vitaly, 2009. Abstraction and abstraction refinement in the verification of graph transformation systems.

Elsevier - Harvard (with titles)

Kozyura, V., 2009. Abstraction and abstraction refinement in the verification of graph transformation systems. https://doi.org/urn:nbn:de:hbz:464-20100108-101927-1

American Psychological Association 7th edition

Kozyura, V. (ca. 2009). Abstraction and abstraction refinement in the verification of graph transformation systems [Cd]. https://doi.org/urn:nbn:de:hbz:464-20100108-101927-1

Springer - Basic (author-date)

Kozyura V (2009) Abstraction and abstraction refinement in the verification of graph transformation systems

Juristische Zitierweise (Stüber) (Deutsch)

Kozyura, Vitaly, Abstraction and abstraction refinement in the verification of graph transformation systems, 2009.

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