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)

BÖRGER, Egon und STÄRK, Robert F., 2003. Abstract state machines : a method for high level system design and analysis ; with 19 tables. Berlin: Springer. ISBN 3540007024.

Elsevier - Harvard (with titles)

Börger, E., Stärk, R.F., 2003. Abstract state machines : a method for high level system design and analysis ; with 19 tables. Springer, Berlin.

American Psychological Association 7th edition

Börger, E., & Stärk, R. F. (ca. 2003). Abstract state machines : a method for high level system design and analysis ; with 19 tables [Book]. Springer.

Springer - Basic (author-date)

Börger E, Stärk RF (2003) Abstract state machines : a method for high level system design and analysis ; with 19 tables. Springer, Berlin

Juristische Zitierweise (Stüber) (Deutsch)

Börger, Egon/ Stärk, Robert F., Abstract state machines : a method for high level system design and analysis ; with 19 tables, Berlin 2003.

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