Combining Deduction and Algebraic Constraints for Hybrid System Analysis? Andr´e Platzer University of Oldenburg, Department of Computing Science, Germany - Algebraic analysis - Document - PDFSEARCH.IO

First Page	Meta Content
	Combining Deduction and Algebraic Constraints for Hybrid System Analysis? Andr´e Platzer University of Oldenburg, Department of Computing Science, Germany Add to Reading List Document Date: 2007-07-06 15:54:19 Open Document File Size: 201,76 KB Share Result on Facebook

Combining Deduction and Algebraic Constraints for Hybrid System Analysis? Andr´e Platzer University of Oldenburg, Department of Computing Science, Germany Add to Reading List