APA (7th ed.) Citation

Kleuker, S. (2009). Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (1. Aufl.). Vieweg + Teubner. https://doi.org/10.1007/978-3-8348-9595-0

Chicago Style (17th ed.) Citation

Kleuker, Stephan. Formale Modelle Der Softwareentwicklung: Model-Checking, Verifikation, Analyse Und Simulation. 1. Aufl. Wiesbaden: Vieweg + Teubner, 2009. https://doi.org/10.1007/978-3-8348-9595-0.

MLA (9th ed.) Citation

Kleuker, Stephan. Formale Modelle Der Softwareentwicklung: Model-Checking, Verifikation, Analyse Und Simulation. 1. Aufl. Vieweg + Teubner, 2009. https://doi.org/10.1007/978-3-8348-9595-0.