APA (7th ed.) Citation

Herde, C. (2011). Efficient solving of large arithmetic constraint systems with complex boolean structure: Proof engines for the analysis of hybrid discrete-continuous systems (1. ed.). Vieweg+Teubner. https://doi.org/10.1007/978-3-8348-9949-1

Chicago Style (17th ed.) Citation

Herde, Christian. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-continuous Systems. 1. ed. Wiesbaden: Vieweg+Teubner, 2011. https://doi.org/10.1007/978-3-8348-9949-1.

MLA (9th ed.) Citation

Herde, Christian. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-continuous Systems. 1. ed. Vieweg+Teubner, 2011. https://doi.org/10.1007/978-3-8348-9949-1.