ISO-690 (author-date, English)

DOAN, Thi Thu Ha und OGATA, Kazuhiro, 2024. Specifying and model checking distributed control algorithms at meta-level. Freiburg: Universität.

Elsevier - Harvard (with titles)

Doan, T.T.H., Ogata, K., 2024. Specifying and model checking distributed control algorithms at meta-level. Universität, Freiburg. https://doi.org/10.1093/comjnl/bxab122

American Psychological Association 7th edition

Doan, T. T. H., & Ogata, K. (ca. 2024). Specifying and model checking distributed control algorithms at meta-level [Cd]. Universität. https://doi.org/10.1093/comjnl/bxab122

Springer - Basic (author-date)

Doan TTH, Ogata K (2024) Specifying and model checking distributed control algorithms at meta-level. Universität, Freiburg

Juristische Zitierweise (Stüber) (Deutsch)

Doan, Thi Thu Ha/ Ogata, Kazuhiro, Specifying and model checking distributed control algorithms at meta-level, Freiburg 2024.

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