ACHILLEOS, Antonis, EXIBARD, Leo, FRANCALANZA, Adrian, LEHTINEN, Karoliina und XUEREB, Jasmine, 2022. A synthesis tool for optimal monitors in a branching-time setting ; Coordination models and languages COORDINATION 2022. In: . Springer Nature Switzerland AG. 1 Januar 2022.
Elsevier - Harvard (with titles)Achilleos, A., Exibard, L., Francalanza, A., Lehtinen, K., Xuereb, J., 2022. A synthesis tool for optimal monitors in a branching-time setting ; Coordination models and languages COORDINATION 2022, in: . Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-031-08143-9_11
American Psychological Association 7th editionAchilleos, A., Exibard, L., Francalanza, A., Lehtinen, K., & Xuereb, J. (2022, Januar 1). A synthesis tool for optimal monitors in a branching-time setting ; Coordination models and languages COORDINATION 2022. https://doi.org/10.1007/978-3-031-08143-9_11
Springer - Basic (author-date)Achilleos A, Exibard L, Francalanza A, Lehtinen K, Xuereb J (2022) A synthesis tool for optimal monitors in a branching-time setting ; Coordination models and languages COORDINATION 2022. Springer Nature Switzerland AG
Juristische Zitierweise (Stüber) (Deutsch)Achilleos, Antonis/ Exibard, Leo/ Francalanza, Adrian/ Lehtinen, Karoliina/ Xuereb, Jasmine, A synthesis tool for optimal monitors in a branching-time setting ; Coordination models and languages COORDINATION 2022, 2022, .