ISO-690 (author-date, English)

KOCH, Manuel, 2000. Integration of graph transformation and temporal logic for the specification of distributed systems.

Elsevier - Harvard (with titles)

Koch, M., 2000. Integration of graph transformation and temporal logic for the specification of distributed systems. https://doi.org/urn:nbn:de:kobv:83-opus-284

American Psychological Association 7th edition

Koch, M. (ca. 2000). Integration of graph transformation and temporal logic for the specification of distributed systems [Cd]. https://doi.org/urn:nbn:de:kobv:83-opus-284

Springer - Basic (author-date)

Koch M (2000) Integration of graph transformation and temporal logic for the specification of distributed systems

Juristische Zitierweise (Stüber) (Deutsch)

Koch, Manuel, Integration of graph transformation and temporal logic for the specification of distributed systems, 2000.

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