ISO-690 (author-date, English)

TOM BAUMEISTER, SWEN JACOBS, MOUHAMMAD SAKR und MARCUS VÖLP, 2025. Automatic WSTS-based repair and deadlock detection of parameterized systems. . 1 Januar 2025. DOI 10.60882/cispa.28839110.v3.

Elsevier - Harvard (with titles)

Tom Baumeister, Swen Jacobs, Mouhammad Sakr, Marcus Völp, 2025. Automatic WSTS-based repair and deadlock detection of parameterized systems. https://doi.org/10.60882/cispa.28839110.v3

American Psychological Association 7th edition

Tom Baumeister, Swen Jacobs, Mouhammad Sakr, & Marcus Völp. (2025). Automatic WSTS-based repair and deadlock detection of parameterized systems. https://doi.org/10.60882/cispa.28839110.v3

Springer - Basic (author-date)

Tom Baumeister, Swen Jacobs, Mouhammad Sakr, Marcus Völp (2025) Automatic WSTS-based repair and deadlock detection of parameterized systems. https://doi.org/10.60882/cispa.28839110.v3

Juristische Zitierweise (Stüber) (Deutsch)

Tom Baumeister/ Swen Jacobs/ Mouhammad Sakr/ Marcus Völp, Automatic WSTS-based repair and deadlock detection of parameterized systems, 2025.

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