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.
Chicago Style (17th ed.) CitationHerde, 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.
MLA (8th ed.) CitationHerde, 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.
Warning: These citations may not always be 100% accurate.
