Doan, T.T.H. und Ogata, K. (2024) Specifying and model checking distributed control algorithms at meta-level [cd]. Freiburg: Universität. doi:10.1093/comjnl/bxab122.
Chicago Manual of Style 17th edition (full note)Doan, Thi Thu Ha, und Kazuhiro Ogata. Specifying and model checking distributed control algorithms at meta-level. Cd. Freiburg: Universität, [2024?], Freiburg: Universität, [2024?]. https://doi.org/10.1093/comjnl/bxab122.
American Psychological Association 7th editionDoan, 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
Modern Language Association 9th editionDoan, T. T. H., und K. Ogata. Specifying and model checking distributed control algorithms at meta-level. cd, Universität, 2024, https://doi.org/10.1093/comjnl/bxab122.
ISO-690 (author-date, Deutsch)DOAN, Thi Thu Ha und Kazuhiro OGATA, 2024. Specifying and model checking distributed control algorithms at meta-level. Freiburg: Universität