Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
ISO-690 (author-date, English)

ACETO, Luca, 2007. Reactive systems : modelling, specification and verification. Cambridge: Cambridge University Press. ISBN 9780511814105.

Elsevier - Harvard (with titles)

Aceto, L., 2007. Reactive systems : modelling, specification and verification. Cambridge University Press, Cambridge.

American Psychological Association 7th edition

Aceto, L. (ca. 2007). Reactive systems : modelling, specification and verification [Cd]. Cambridge University Press.

Springer - Basic (author-date)

Aceto L (2007) Reactive systems : modelling, specification and verification. Cambridge University Press, Cambridge

Juristische Zitierweise (Stüber) (Deutsch)

Aceto, Luca, Reactive systems : modelling, specification and verification, Cambridge 2007.

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