APA (7th ed.) Citation

Kleuker, S. (2009). Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (1. Aufl.). Vieweg + Teubner.

Chicago Style (17th ed.) Citation

Kleuker, Stephan. Formale Modelle Der Softwareentwicklung: Model-Checking, Verifikation, Analyse Und Simulation. 1. Aufl. Wiesbaden: Vieweg + Teubner, 2009.

MLA (9th ed.) Citation

Kleuker, Stephan. Formale Modelle Der Softwareentwicklung: Model-Checking, Verifikation, Analyse Und Simulation. 1. Aufl. Vieweg + Teubner, 2009.