ACETO, Luca, ACHILLEOS, Antonis, ANASTASIADI, Elli und FRANCALANZA, Adrian, 2022. Monitoring hyperproperties with circuits ; Formal techniques for distributed objects, components, and systems. Springer Nature Switzerland AG.
Elsevier - Harvard (with titles)Aceto, L., Achilleos, A., Anastasiadi, E., Francalanza, A., 2022. Monitoring hyperproperties with circuits ; Formal techniques for distributed objects, components, and systems. Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-031-08679-3_1
American Psychological Association 7th editionAceto, L., Achilleos, A., Anastasiadi, E., & Francalanza, A. (2022). Monitoring hyperproperties with circuits ; Formal techniques for distributed objects, components, and systems. Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-031-08679-3_1
Springer - Basic (author-date)Aceto L, Achilleos A, Anastasiadi E, Francalanza A (2022) Monitoring hyperproperties with circuits ; Formal techniques for distributed objects, components, and systems. Springer Nature Switzerland AG
Juristische Zitierweise (Stüber) (Deutsch)Aceto, Luca/ Achilleos, Antonis/ Anastasiadi, Elli/ Francalanza, Adrian, Monitoring hyperproperties with circuits ; Formal techniques for distributed objects, components, and systems, 2022.