APA (7th ed.) Citation

Alexander, A. (2006). Komposition temporallogischer Spezifikationen: Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions (1. Aufl.). Cuvillier.

Chicago Style (17th ed.) Citation

Alexander, Adrianna. Komposition Temporallogischer Spezifikationen: Spezifikation Und Verifikation Von Systemen Mit Temporal Logic of Distributed Actions. 1. Aufl. Göttingen: Cuvillier, 2006.

MLA (9th ed.) Citation

Alexander, Adrianna. Komposition Temporallogischer Spezifikationen: Spezifikation Und Verifikation Von Systemen Mit Temporal Logic of Distributed Actions. 1. Aufl. Cuvillier, 2006.