Showing 1 - 1 results of 1 for search 'Herde, Christian', query time: 0.01s
Refine Results
-
1
Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems by Herde, Christian
Published 2011Call Number: loading...Available for University of the Philippines Diliman via SpringerLink. Click here to access
Located: loading...
Electronic Resource