Herde, C. (2011). Efficient solving of large arithmetic constraint systems with complex boolean structure: Proof engines for the analysis of hybrid discrete-continuous systems. Vieweg+Teubner. https://doi.org/10.1007/978-3-8348-9949-1
Chicago-viite (17. p.)Herde, Christian. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-continuous Systems. Wiesbaden: Vieweg+Teubner, 2011. https://doi.org/10.1007/978-3-8348-9949-1.
MLA-viite (9. p.)Herde, Christian. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-continuous Systems. Vieweg+Teubner, 2011. https://doi.org/10.1007/978-3-8348-9949-1.